Paul Hänsch, Michaela Slaats, Wolfgang Thomas. Parametrized Regular Infinite Games and Higher-Order Pushdown Strategies. In Miroslaw Kutylowski, Witold Charatonik, Maciej Gebala, editors, Fundamentals of Computation Theory, 17th International Symposium, FCT 2009, Wroclaw, Poland, September 2-4, 2009. Proceedings. Volume 5699 of Lecture Notes in Computer Science, pages 181-192, Springer, 2009. [doi]
@inproceedings{HanschST09, title = {Parametrized Regular Infinite Games and Higher-Order Pushdown Strategies}, author = {Paul Hänsch and Michaela Slaats and Wolfgang Thomas}, year = {2009}, doi = {10.1007/978-3-642-03409-1_17}, url = {http://dx.doi.org/10.1007/978-3-642-03409-1_17}, researchr = {https://researchr.org/publication/HanschST09}, cites = {0}, citedby = {0}, pages = {181-192}, booktitle = {Fundamentals of Computation Theory, 17th International Symposium, FCT 2009, Wroclaw, Poland, September 2-4, 2009. Proceedings}, editor = {Miroslaw Kutylowski and Witold Charatonik and Maciej Gebala}, volume = {5699}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-642-03408-4}, }