Collapsible Pushdown Automata and Recursion Schemes
C.−H. L. Ong M. Hague A. S. Murawski and O. Serre
Book Title
LICS
Year
2008
C.−H. L. Ong M. Hague A. S. Murawski and O. Serre