- Ramsey Quantifiers over Automatic Structures: Complexity and Applications to Verification Pascal Bergstraßer Moses Ganardi Anthony W. Lin Georg Zetzsche Mon 29 August 2022
- Automatic Presentations of Infinite Structures Vince Bárány Thu 19 March 2015
- Collapsible Pushdown Graphs of Level 2 are Tree-Automatic Alexander Kartzow Fri 27 December 2013
- Regular Languages of Nested Words: Fixed Points, Automata, and Synchronization Marcelo Arenas Pablo Barceló Leonid Libkin Wed 13 November 2013
Library Size: 13G (4 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A
