Collapsible Pushdown Automata and Recursion Schemes

Matthew Hague, Andrzej Murawski, C.-H. Luke Ong, Olivier Serre

Research output: Contribution to journal › Article › peer-review

64 Downloads (Pure)

1 Conference contribution

1 results

Filter

2008

Collapsible Pushdown Automata and Recursion Schemes
Hague, M., Murawski, A. S., Ong, C.-H. L. & Serre, O., 2008, LICS '08: 23rd Annual IEEE Symposium on Logic in Computer Science. IEEE Computer Society Press, p. 452-461
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution