@article{ITA_2017__51_1_29_0, author = {Li, Wenjuan and Tanaka, Kazuyuki}, title = {The determinacy strength of pushdown $\omega{}$-languages}, journal = {RAIRO - Theoretical Informatics and Applications - Informatique Th\'eorique et Applications}, pages = {29--50}, publisher = {EDP-Sciences}, volume = {51}, number = {1}, year = {2017}, doi = {10.1051/ita/2017006}, mrnumber = {3678028}, zbl = {1420.03089}, language = {en}, url = {http://archive.numdam.org/articles/10.1051/ita/2017006/} }