Collapsible Pushdown Automata and Recursion Schemes

M. Hague, A. S. Murawski, C.-H. L. Ong, O. Serre

Department of Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

1 Article

1 results

Filter

2017

Collapsible Pushdown Automata and Recursion Schemes
Hague, M., Murawski, A., Ong, C.-H. L. & Serre, O., 21 Aug 2017, In: ACM Transactions on Computational Logic. 18, 3, p. 1-42 42 p.
Research output: Contribution to journal › Article › peer-review

Open Access
File

68 Downloads (Pure)