- Recursion Schemes and Logical Reflection C.H. Broadbent A. Carayol C.-H.L. Ong O. Serre Wed 12 August 2020
- Nested Words for Order-2 Pushdown Systems Aiswarya Cyriac Paul Gastin Prakash Saivasan Wed 21 October 2015
- Ordered Tree-Pushdown Systems Lorenzo Clemente Paweł Parys Sylvain Salvati Igor Walukiewicz Tue 13 October 2015
- Note on Undecidability of Bisimilarity for Second-Order Pushdown Processes Petr Jančar Jiří Srba Fri 27 December 2013
- First-Order Logic on Higher-Order Nested Pushdown Trees Alexander Kartzow Mon 15 July 2013
- Games on Higher Order Multi-stack Pushdown Systems Anil Seth Tue 20 November 2012
- First-Order Model Checking on Generalisations of Pushdown Graphs Alexander Kartzow Thu 11 October 2012
- Recursive Schemes, Krivine Machines, and Collapsible Pushdown Automata Sylvain Salvati Igor Walukiewicz Thu 20 September 2012
- Strictness of the Collapsible Pushdown Hierarchy Alexander Kartzow Paweł Parys Tue 05 June 2012
- A Pumping Lemma for Pushdown Graphs of Any Level Pawel Parys Tue 05 June 2012
- An automata-theoretic characterization of the OI-hierarchy Werner Damm Andreas Goerdt Fri 27 April 2012
- Higher Order Pushdown Automata, the Caucal Hierarchy of Graphs and Parity Games Thierry Cachat Fri 27 April 2012
- The Limits of Decidability for First Order Logic on CPDA Graphs Christopher H. Broadbent Thu 05 April 2012
- Regular sets of higher-order pushdown stacks Arnaud Carayol Thu 08 March 2012
- Multilevel Stack Automata A. N. Maslov Thu 08 March 2012
- Saturation Methods for Global Model-Checking Pushdown Systems Matthew Hague Thu 08 March 2012
- Symbolic Backwards-Reachability Analysis for Higher-Order Pushdown Systems Matthew Hague C.-H. Luke Ong Thu 08 March 2012
- The Complexity of Games on Higher Order Pushdown Automata Thierry Cachat Igor Walukiewicz Thu 08 March 2012
- Iterated pushdown automata and sequences of rational numbers S. Fratani G. Senizergues Tue 06 March 2012
- Iterated stack automata and complexity classes Joost Engelfriet Tue 06 March 2012
- Iterated pushdown automata and complexity classes Joost Engelfriet Tue 06 March 2012
- An Alternative Construction in Symbolic Reachability Analysis of Second Order Pushdown Systems Anil Seth Tue 06 March 2012
- Symbolic backwards-reachability analysis for higher-order pushdown systems Matthew Hague C.-H. Luke Ong Tue 06 March 2012
- Symbolic Reachability Analysis of Higher-Order Context-Free Processes Ahmed Bouajjani Antoine Meyer Tue 06 March 2012
- Collapse Operation Increases Expressive Power of Deterministic Higher Order Pushdown Automata Pawel Parys Tue 06 March 2012
- Collapsible Pushdown Graphs of Level 2 are Tree-Automatic Alexander Kartzow Tue 06 March 2012
- Winning Regions of Higher-Order Pushdown Games A. Carayol M. Hague A. Meyer C.-H.L. Ong O. Serre Tue 06 March 2012
- A Type System Equivalent to the Modal Mu-Calculus Model Checking of Higher-Order Recursion Schemes Naoki Kobayashi C.-H. Luke Ong Tue 06 March 2012
- Safety Is not a Restriction at Level 2 for String Languages K. Aehlig J. G. de Miranda C. -H. L. Ong Tue 06 March 2012
- Unsafe grammars and panic automata Teodor Knapik Damian Niwiński Paweł Urzyczyn Igor Walukiewicz Tue 06 March 2012
- Higher-Order Model Checking: From Theory to Practice N. Kobayashi Tue 06 March 2012
- Collapsible Pushdown Automata and Recursion Schemes M. Hague A. S. Murawski C.-H. L. Ong O. Serre Tue 06 March 2012
- Higher-Order Pushdown Trees Are Easy Teodor Knapik Damian Niwiński Paweł Urzyczyn Tue 06 March 2012
- The IO- and OI-hierarchies Werner Damm Tue 06 March 2012
Library Size: 13G (34 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A
