Collapsible Pushdown Automata and Recursion Schemes.
Saved in:
| Title: | Collapsible Pushdown Automata and Recursion Schemes. |
|---|---|
| Authors: | HAGUE, MATTHEW1, matthew.hague@rhul.ac.uk, MURAWSKI, ANDRZEJ S.2, A.Murawski@warwick.ac.uk, ONG, C.-H. LUKE3, lo@cs.ox.ac.uk, SERRE, OLIVIER4, Olivier.Serre@cnrs.fr |
| Source: | ACM Transactions on Computational Logic; Jul2017, Vol. 18 Issue 3, p1-42, 42p |
| Database: | Applied Science & Technology Source |
Be the first to leave a comment!
