Matthew Hague, Andrzej S. Murawski, C.-H. Luke Ong, Olivier Serre. Collapsible Pushdown Automata and Recursion Schemes. ACM Trans. Comput. Log., 18(3), 2017. [doi]
No references recorded for this publication.
No citations of this publication recorded.