Collapsible Pushdown Automata and Recursion Schemes

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

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

48 Downloads (Pure)

1 Finished

1 results

Filter

Finished

Verification of Concurrent and Higher-Order Recursive Programs
Hague, M.
Eng & Phys Sci Res Council EPSRC
1/05/13 → 30/04/18
Project: Research