- Using Models to Model-Check Recursive Schemes Sylvain Salvati Igor Walukiewicz Fri 13 December 2013
- On ianov schemas with one memory location K. Indermark Fri 13 December 2013
- Ianov schemas augmented by a pushdown memory Nobuki Tokura Tadao Kasami Shukichi Furuta Fri 13 December 2013
- On Program Schemata Equivalence V. E. Itkin Z. Zwinogrodzki Fri 13 December 2013
- On Ianov's Program Schemata J. D. Rutledge Fri 13 December 2013
- Program Schemata As Automata. I J. D. Rutledge Fri 13 December 2013
- Meet Your Expectations With Guarantees: Beyond Worst-Case Synthesis in Quantitative Games Véronique Bruyère Emmanuel Filiot Mickael Randour Jean-François Raskin Fri 13 December 2013
- http://homepages.inf.ed.ac.uk/wadler/realworld/ Philip Wadler Fri 13 December 2013
- An Algebraic Definition of Simulation Between Programs Robin Milner Thu 12 December 2013
- Efficient Minimization of Deterministic Weak omega-automata Christof Løding Thu 12 December 2013
- Beyond Hyper-Minimisation---Minimising DBAs and DPAs is NP-Complete Sven Schewe Thu 12 December 2013
- Minimizing Finite Automata is Computationally Hard Andreas Malcher Thu 12 December 2013
- Reducing Nondeterministic Finite Automata with SAT Solvers Jaco Geldenhuys Brink van der Merwe Lynette van Zijl Thu 12 December 2013
- Minimal NFA Problems Are Hard Tao Jiang B. Ravikumar Thu 12 December 2013
- Minimal NFA Problems Are Hard Tao Jiang Bala Ravikumar Thu 12 December 2013
- On a Decision Method in Restricted Second-Order Arithmetic Julius R. Buchi Thu 12 December 2013
- Stochastic Parity Games on Lossy Channel Systems Parosh Aziz Abdulla Lorenzo Clemente Richard Mayr Sven Sandberg Thu 12 December 2013
- A representation of trees by languages II Bruno Courcelle Thu 12 December 2013
- A representation of trees by languages I Bruno Courcelle Thu 12 December 2013
- Least and Greatest Fixpoints in Game Semantics Pierre Clairambault Thu 12 December 2013
Library Size: 13G (12983 entries),
Last Updated: Apr 23, 2026, 13:36:26,
Build Time: N/A