- Recursion Schemes and Logical Reflection C.H. Broadbent A. Carayol C.-H.L. Ong O. Serre Wed 12 August 2020
- Collapsible Pushdown Graphs of Level 2 are Tree-Automatic Alexander Kartzow Fri 27 December 2013
- Recursive Schemes, Krivine Machines, and Collapsible Pushdown Automata Sylvain Salvati Igor Walukiewicz Thu 20 September 2012
- Collapsible Pushdown Automata and Labeled Recursion Schemes - Equivalence, Safety and Effective Selection Arnaud Carayol Olivier Serre Fri 10 August 2012
- A Saturation Method for Collapsible Pushdown Systems Chris Broadbent Arnaud Carayol Matthew Hague Olivier Serre Tue 03 July 2012
- The Limits of Decidability for First Order Logic on CPDA Graphs Christopher H. Broadbent Thu 05 April 2012
- Collapsible Pushdown Graphs of Level 2 are Tree-Automatic Alexander Kartzow 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
Library Size: 13G (8 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A
