%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 %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 = {2023-12-12T18:49:33.000+0100}, author = {Hague, Matthew and Murawski, Andrzej S. and Ong, C.-H. Luke and Serre, Olivier}, biburl = {https://www.bibsonomy.org/bibtex/27c8eebedd931948a8d5bc19755a252aa/admin}, ee = {https://doi.org/10.1145/3091122}, interhash = {17c9b8b4af15dd5308ab81844199f31c}, intrahash = {7c8eebedd931948a8d5bc19755a252aa}, journal = {ACM Trans. Comput. Log.}, keywords = {}, number = 3, pages = {25:1-25:42}, timestamp = {2023-12-12T18:49:33.000+0100}, title = {Collapsible Pushdown Automata and Recursion Schemes.}, url = {http://dblp.uni-trier.de/db/journals/tocl/tocl18.html#HagueMOS17}, volume = 18, year = 2017 }