- A constructive proof that tree are well-quasi-ordered under minors (detailed abstract) Arvind Gupta Fri 02 March 2012
- Generalised recursive descent parsing and follow-determinism Adrian Johnstone Elizabeth Scott Fri 02 March 2012
- An extended static checker for modula-3 K. Rustan M. Leino Greg Nelson Fri 02 March 2012
- Call-by-value games Samson Abramsky Guy McCusker Fri 02 March 2012
- Relating hierarchies of word and tree automata Damian Niwiński Igor Walukiewicz Fri 02 March 2012
- On subrecursiveness in weak combinatory logic Carlo Batini Alberto Pettorossi Fri 02 March 2012
- Recent results on automata and infinite words Dominique Perrin Fri 02 March 2012
- A topological view of some problems in complexity theory Michael Sipser Fri 02 March 2012
- The complexity of mean payoff games Uri Zwick Michael S. Paterson Fri 02 March 2012
- An efficient algorithm for branching bisimulation and stuttering equivalence Jan Friso Groote Frits Vaandrager Fri 02 March 2012
- The power of QDDs (extended abstract) Bernard Boigelot Patrice Godefroid Bernard Willems Pierre Wolper Fri 02 March 2012
- Syntactic detection of process divergence and non-local choice in message sequence charts Hanêne Ben-Abdallah Stefan Leue Fri 02 March 2012
- On the synthesis of an asynchronous reactive module Amir Pnueli Roni Rosner Fri 02 March 2012
- The complexity of the coverability, the containment, and the equivalence problems for commutative semigroups Ulla Koppenhagen Ernst W. Mayr Fri 02 March 2012
- Some operations and transductions that preserve rationality J. -E. Pin J. Sakarovitch Fri 02 March 2012
- A term calculus for Intuitionistic Linear Logic Nick Benton Gavin Bierman Valeria de Paiva Martin Hyland Fri 02 March 2012
- Inductive definitions in the system Coq rules and properties Christine Paulin-Mohring Fri 02 March 2012
- The linear time - branching time spectrum R. J. van Glabbeek Fri 02 March 2012
- Natural semantics G. Kahn Fri 02 March 2012
- Inductively defined types in the Calculus of Constructions Frank Pfenning Christine Paulin-Mohring Fri 02 March 2012
Library Size: 13G (12949 entries),
Last Updated: Apr 11, 2026, 18:05:34,
Build Time: N/A
