- Ramsey-Based Inclusion Checking for Visibly Pushdown Automata Oliver Friedmann Felix Klaedtke Martin Lange Tue 19 January 2016
- Regular Languages of Nested Words: Fixed Points, Automata, and Synchronization Marcelo Arenas Pablo BarceloĢ Leonid Libkin Wed 13 November 2013
- A Note on Nested Words Andreas Blass Yuri Gurevich Mon 15 July 2013
- Nested interpolants Matthias Heizmann Jochen Hoenicke Andreas Podelski Tue 22 January 2013
Library Size: 13G (4 entries),
Last Updated: Apr 05, 2026, 08:41:35,
Build Time: N/A
