Sylvain Salvati, Igor Walukiewicz. Recursive Schemes, Krivine Machines, and Collapsible Pushdown Automata. In Alain Finkel, Jérôme Leroux, Igor Potapov, editors, Reachability Problems - 6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012. Proceedings. Volume 7550 of Lecture Notes in Computer Science, pages 6-20, Springer, 2012. [doi]
No reviews for this publication, yet.