- Bounded Combinatory Logic Boris Dudder Moritz Martens Jakob Rehof Pawel Urzyczyn Fri 15 November 2013
- The Complexity of Simple Subtyping Systems Jakob Rehof Fri 15 November 2013
- Subtype inequalities J. Tiuryn Fri 15 November 2013
- Graph Logics with Rational Relations Pablo Barcelo Diego Figueira Leonid Libkin Wed 13 November 2013
- Unidirectional channel systems can be tested Petr Jančar Prateek Karandikar Philippe Schnoebelen Wed 13 November 2013
- Intersection Type Matching with Subtyping Boris Dudder Moritz Martens Jakob Rehof Wed 13 November 2013
- A model theoretic proof of completeness of an axiomatization of monadic second-order logic on infinite words Colin Riba Wed 13 November 2013
- Forcing MSO on Infinite Words in Weak MSO Colin Riba Wed 13 November 2013
- Contextual Locking for Dynamic Pushdown Networks Peter Lammich Markus Muller-Olm Helmut Seidl Alexander Wenner Wed 13 November 2013
- Theory of Well-Structured Transition Systems and Extended Vector-Addition Systems Rémi Bonnet Wed 13 November 2013
- Bounded context-switching and reentrant locking Rémi Bonnet Rohit Chadha Wed 13 November 2013
- Effcient CTL model-checking for pushdown systems Fu Song Tayssir Touili Wed 13 November 2013
- Model Checking CTL Properties of Pushdown Systems Igor Walukiewicz Wed 13 November 2013
- Decision problems among the main subfamilies of rational relations Olivier Carton Christian Choffrut Serge Grigorieff Wed 13 November 2013
- On Functionality of Visibly Pushdown Transducers Emmanuel Filiot Jean-François Raskin Pierre-Alain Reynier Frédéric Servais Jean-Marc Talbot Wed 13 November 2013
- Visibly Pushdown Transducers with Look-Ahead Emmanuel Filiot Frédéric Servais Wed 13 November 2013
- Properties of visibly pushdown transducers Emmanuel Filiot Jean-François Raskin Pierre-Alain Reynier Frédéric Servais Jean-Marc Talbot Wed 13 November 2013
- Visibly pushdown transducers for approximate validation of streaming XML Alex Thomo S. Venkatesh Ying Ying Ye Wed 13 November 2013
- Visibly Pushdown Transducers Jean-François Raskin Frédéric Servais Wed 13 November 2013
- Regular Languages of Nested Words: Fixed Points, Automata, and Synchronization Marcelo Arenas Pablo Barceló Leonid Libkin Wed 13 November 2013
Library Size: 13G (12979 entries),
Last Updated: Apr 21, 2026, 15:38:46,
Build Time: N/A
