- Compositional Asynchronous Timed Refinement Massimo Bartoletti Laura Bocchi Maurizio Murgia Sat 09 December 2017
- Revisiting reachability in timed automata K. Quaas M. Shirmohammadi J. Worrell Thu 07 December 2017
- The Polish Mathematical The Polish Mathematical Society (PTM) Janusz Kowalski Thu 07 December 2017
- Binary Reachability Analysis of Discrete Pushdown Timed Automata Zhe Dang Oscar H. Ibarra Tevfik Bultan Richard A. Kemmerer Jianwen Su Wed 06 December 2017
- Hierarchies of Complete Problems Zvi Galil Wed 06 December 2017
- Lower Bounds for Natural Proof Systems Dexter Kozen Wed 06 December 2017
- Intersection Type Calculi of Bounded Dimension Andrej Dudenhefner Jakob Rehof Tue 05 December 2017
- The Complexity of Principal Inhabitation Andrej Dudenhefner Jakob Rehof Tue 05 December 2017
- On the Problem of Computing the Probability of Regular Sets of Trees Henryk Michalewski Matteo Mio Fri 01 December 2017
- Undecidability of asynchronous session subtyping Mario Bravetti Marco Carbone Gianluigi Zavattaro Tue 28 November 2017
- On the Undecidability of Asynchronous Session Subtyping Julien Lange Nobuko Yoshida Tue 28 November 2017
- Undirected Connectivity in Log-space Omer Reingold Tue 21 November 2017
- Regular languages in NC1 David A. Mix Barrington Kevin Compton Howard Straubing Denis Thérien Tue 14 November 2017
- An nłog n Algorithm for Minimizing States in a Finite Automaton John E. Hopcroft Sun 12 November 2017
- Short monotone formulae for the majority function L.G Valiant Tue 07 November 2017
- Jumping Finite Automata Petr Zemek Alexander Meduna Tue 07 November 2017
- Some Theorems on Deducibility C. H. Langford Thu 02 November 2017
- On the Decidability of the Real Field with a Generic Power Function Gareth Jones Tamara Servi Thu 02 November 2017
- Schanuel's Conjecture and the Decidability of the Real Exponential Field A. J. Wilkie Thu 02 November 2017
- On the decidability of the real exponential field: candidates for a complete axiomatization Tamara Servi Thu 02 November 2017
Library Size: 13G (12983 entries),
Last Updated: Apr 23, 2026, 14:40:46,
Build Time: N/A
