- Partial Evaluation in Aircraft Crew Planning Lennart Augustsson Tue 03 December 2013
- Shape-Preserving Transformations of Higher-Order Recursion Schemes Axel Haddad Mon 02 December 2013
- Program Schemes: Early results Irene Guessarian Mon 02 December 2013
- Subrecursive Program Schemata I & II: I. Undecidable Equivalence Problems; II. Decidable Equivalence Problems R. L. Constable S. S. Muchnick Mon 02 December 2013
- The lattice of flow diagrams Dana Scott Mon 02 December 2013
- The logical schemes of algorithms Iu Ianov Mon 02 December 2013
- Games and Full Completeness for Multiplicative Linear Logic Samson Abramsky Radha Jagadeesan Mon 02 December 2013
- Nominal Regular Expressions for Languages over Infinite Alphabets. Extended Abstract Alexander Kurz Tomoyuki Suzuki Emilio Tuosto Mon 02 December 2013
- Simulation Over One-counter Nets is PSPACE-Complete Piotr Hofman Slawomir Lasota Richard Mayr Patrick Totzke Mon 02 December 2013
- The Tree Width of Auxiliary Storage P. Madhusudan Gennaro Parlato Mon 02 December 2013
- A Primitive Recursive Algorithm for the General Petri Net Reachability Problem Zakariae Bouziane Mon 02 December 2013
- Doomsday Equilibria for Omega-Regular Games Krishnendu Chatterjee Laurent Doyen Emmanuel Filiot Jean-François Raskin Mon 02 December 2013
- Finiteness up to bisimilarity is decidable for pushdown processes Petr Jancar Sun 01 December 2013
- Some Decidability Results for Nested Petri Nets Irina A. Lomazova Ph. Schnoebelen Sat 30 November 2013
- Weakly-Synchronized Ground Tree Rewriting AnthonyWidjaja Lin Sat 30 November 2013
- Concurrency Makes Simple Theories Hard Stefan Gøller Anthony Widjaja Lin Sat 30 November 2013
- A Survey of Automated Techniques for Formal Software Verification V. D'silva D. Kroening G. Weissenbacher Sat 30 November 2013
- Reversal-Bounded Multicounter Machines and Their Decision Problems Oscar H. Ibarra Sat 30 November 2013
- Forward Analysis of Dynamic Network of Pushdown Systems Is Easier Without Order Denis Lugiez Thu 28 November 2013
- Presburger Modal Logic is PSPACE-Complete Stéphane Demri Denis Lugiez Thu 28 November 2013
Library Size: 13G (12979 entries),
Last Updated: Apr 21, 2026, 15:38:46,
Build Time: N/A
