%0 Journal Article %1 journals/tocl/HagueMOS17 %A Hague, Matthew %A Murawski, Andrzej S. %A Ong, C.-H. Luke %A Serre, Olivier %D 2017 %J ACM Trans. Comput. Log. %K dblp %N 3 %P 25:1-25:42 %T Collapsible Pushdown Automata and Recursion Schemes. %U http://dblp.uni-trier.de/db/journals/tocl/tocl18.html#HagueMOS17 %V 18

@article{journals/tocl/HagueMOS17, added-at = {2022-01-08T00:00:00.000+0100}, author = {Hague, Matthew and Murawski, Andrzej S. and Ong, C.-H. Luke and Serre, Olivier}, biburl = {https://www.bibsonomy.org/bibtex/27c8eebedd931948a8d5bc19755a252aa/dblp}, ee = {https://doi.org/10.1145/3091122}, interhash = {17c9b8b4af15dd5308ab81844199f31c}, intrahash = {7c8eebedd931948a8d5bc19755a252aa}, journal = {ACM Trans. Comput. Log.}, keywords = {dblp}, number = 3, pages = {25:1-25:42}, timestamp = {2024-04-08T12:38:36.000+0200}, title = {Collapsible Pushdown Automata and Recursion Schemes.}, url = {http://dblp.uni-trier.de/db/journals/tocl/tocl18.html#HagueMOS17}, volume = 18, year = 2017 }