- Well-structured languages Gilles Geeraerts Jean-François Raskin Laurent Begin Wed 31 October 2012
- On the reachability problem for 5-dimensional vector addition systems John Hopcroft Jean-Jacques Pansiot Wed 31 October 2012
- Projections of vector addition system reachability sets are semilinear Hans Kleine Buening Theodor Lettmann Ernst W. Mayr Tue 30 October 2012
- Minimum and maximum delay problems in real-time systems Costas Courcoubetis Mihalis Yannakakis Mon 29 October 2012
- Parallel program schemata Richard M. Karp Raymond E. Miller Fri 26 October 2012
- Polymorphic Rewriting Conserves Algebraic Strong Normalization and Confluence Val Tannen Jean H. Gallier Fri 26 October 2012
- Strong normalizability for the combined system of the typed lmbda calculus and an arbitrary convergent term rewrite system M. Okada Fri 26 October 2012
- Properties of a Model for Parallel Computations: Determinacy, Termination, Queueing Richard Karp Raymond Miller Fri 26 October 2012
- Regular canonical systems Richard Buchi Wed 24 October 2012
- Symbolic Verification of Communication Protocols with Infinite State Spaces using QDDs Bernard Boigelot Patrice Godefroid Tue 23 October 2012
- Tree-stack automata W. Golubski W. Lippe Thu 18 October 2012
- On Families of Graphs Having a Decidable First Order Theory with Reachability Thomas Colcombet Wed 17 October 2012
- Software model checking using languages of nested trees Rajeev Alur Swarat Chaudhuri P. Madhusudan Wed 17 October 2012
- Languages of Nested Trees Rajeev Alur Swarat Chaudhuri P. Madhusudan Wed 17 October 2012
- Equivalences and transformations of regular systems - Applications to recursive program schemes and grammars Bruno Courcelle Tue 16 October 2012
- Pushdown Tree Automata, Algebraic Tree Systems, and Algebraic Tree Series Werner Kuich Tue 16 October 2012
- Mappings and grammars on trees William C. Rounds Tue 16 October 2012
- A new type of pushdown automata on infinite trees Wuxu Peng S. Purushothaman Iyer Tue 16 October 2012
- Recursive schemes, algebraic trees and deterministic languages Bruno Courcelle Tue 16 October 2012
- Program equivalence and context-free grammars Barry K. Rosen Tue 16 October 2012
Library Size: 13G (12979 entries),
Last Updated: Apr 21, 2026, 15:38:46,
Build Time: N/A
