- When Locality Meets Preservation Aliaume Lopez Mon 29 August 2022
- Undecidability of Bisimilarity by Defender's Forcing Petr Jančar Jivří Srba Tue 25 June 2019
- Quantum Automata and Algebraic Groups Harm Derksen Emmanuel Jeandel Pascal Koiran Thu 19 July 2018
- Unambiguous conjunctive grammars over a one-symbol alphabet Artur Jeż Alexander Okhotin Tue 30 January 2018
- Undecidability of asynchronous session subtyping Mario Bravetti Marco Carbone Gianluigi Zavattaro Tue 28 November 2017
- Closed, Open, and Robust Timed Networks Parosh Aziz Abdulla Johann Deneux Pritha Mahata Tue 18 December 2012
Library Size: 13G (6 entries),
Last Updated: Apr 05, 2026, 08:41:35,
Build Time: N/A
