- Fixed Point Logics on Hemimetric Spaces David Fernández-Duque Quentin Gougeon Fri 28 April 2023
- The modal mu-calculus alternation hierarchy is strict Julian Bradfield Tue 11 August 2020
- Deciding low levels of tree-automata hierarchy Igor Walukiewicz Tue 04 August 2020
- The finite graph problem for two-way alternating automata Mikołaj Bojańczyk Mon 16 July 2018
- The mu-calculus and model-checking Julian Bradfield Igor Walukiewicz Fri 22 May 2015
- Regular Languages of Nested Words: Fixed Points, Automata, and Synchronization Marcelo Arenas Pablo Barceló Leonid Libkin Wed 13 November 2013
Library Size: 13G (6 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A
