- Streamable fragments of forward XPath Olivier Gauwin Joachim Niehren Mon 15 July 2013
- A Tighter Bound for the Determinization of Visibly Pushdown Automata Nguyen Van Tang Mon 15 July 2013
- On model checking for visibly pushdown automata Tang Van Nguyen Hitoshi Ohsaki Mon 15 July 2013
- Regular tree and regular hedge languages over unranked alphabets: Version 1 Anne B. Klein Makoto Murata Derick Wood Mon 15 July 2013
- Visibly pushdown automata for streaming XML Viraj Kumar P. Madhusudan Mahesh Viswanathan Mon 15 July 2013
- Visibly pushdown automata on trees: universality and u-universality Véronique Bruyère Marc Ducobu Olivier Gauwin Mon 15 July 2013
- Visibly Pushdown Automata: Universality and Inclusion via Antichains Véronique Bruyère Marc Ducobu Olivier Gauwin Mon 15 July 2013
- Provable isomorphisms and domain equations in models of typed languages K B Bruce G Longo Mon 15 July 2013
- Retractions of Types with Many Atoms Laurent Regnier Pawel Urzyczyn Mon 15 July 2013
- On the building of affine retractions Aleksy Schubert Mon 15 July 2013
- Retracts in simple types Vincent Padovani Mon 15 July 2013
- Super-exponential Complexity of Presburger Arithmetic M. J. Fischer M. O. Rabin Mon 15 July 2013
- The Hardest'' Natural Decidable Theory Sergei Vorobyov Mon 15 July 2013
- Deciding the Winner of an Arbitrary Finite Poset Game is PSPACE-Complete Daniel Grier Mon 15 July 2013
- The Complexity of Infinitely Repeated Alternating Move Games Yaron Velner Mon 15 July 2013
- Checking Equality and Regularity for Normed BPA with Silent Moves Yuxi Fu Mon 15 July 2013
- Proof Systems for Retracts in Simply Typed Lambda Calculus Colin Stirling Fri 12 July 2013
- Ramsey Goes Visibly Pushdown Oliver Friedmann Felix Klaedtke Martin Lange Fri 12 July 2013
- Translating to Co-Buchi Made Tight, Unified, and Useful Udi Boker Orna Kupferman Fri 12 July 2013
- Deciding branching time logic E. Allen Emerson A. Prasad Sistla Fri 12 July 2013
Library Size: 13G (12979 entries),
Last Updated: Apr 21, 2026, 15:38:46,
Build Time: N/A
