- Probabilities on Finite Models Ronald Fagin Wed 24 September 2014
- Complexity of the first-order theory of almost all finite structures Etienne Grandjean Wed 24 September 2014
- Asymmetric graphs P. Erdøs A. Rényi Wed 24 September 2014
- Universal graphs and universal functions R. Rado Wed 24 September 2014
- Oligomorphic permutation groups Peter J. Cameron Wed 24 September 2014
- A Formalisation of the Myhill-Nerode Theorem Based on Regular Expressions (Proof Pearl) Chunhan Wu Xingyuan Zhang Christian Urban Sat 20 September 2014
- Regular-expression Derivatives Re-examined Scott Owens John Reppy Aaron Turon Sat 20 September 2014
- Mobile Petri Nets A. Asperti N. Busi Sat 20 September 2014
- Stochastic pi-Calculus C. Priami Thu 18 September 2014
- On The Reachability Problem for Recursive Hybrid Automata with One and Two Players Shankara Narayanan Krishna Lakshmi Manasa Ashutosh Trivedi Wed 17 September 2014
- Improved Undecidability Results for Reachability Games on Recursive Timed Automata Shankara Narayanan Krishna Lakshmi Manasa Ashutosh Trivedi Wed 17 September 2014
- Mustard watches - An integrated approach to time and food Jean-Yves Girard Wed 17 September 2014
- A note on the emptiness problem for alternating finite-memory automata Daniel Genkin Michael Kaminski Liat Peterfreund Wed 17 September 2014
- Asynchronous Automata Wiesław Zielonka Wed 17 September 2014
- Locus Solum Jean-Yves Girard Wed 17 September 2014
- Zone-Based Reachability Analysis of Dense-Timed Pushdown Automata Kristiina Ausmees Wed 17 September 2014
- A Simple Byzantine Generals Protocol Junxing Wang Tue 16 September 2014
- A Finite Exact Representation of Register Automata Configurations Yu-Fang Chen Bow-Yaw Wang Di-De Yen Tue 16 September 2014
- Finite-memory automata with non-deterministic reassignment Michael Kaminski Daniel Zeitlin Mon 15 September 2014
- Characterizations of Pushdown Machines in Terms of Time-Bounded Computers Stephen A. Cook Mon 15 September 2014
Library Size: 13G (12986 entries),
Last Updated: Apr 24, 2026, 19:05:09,
Build Time: N/A
