%0 Journal Article %1 journals/lmcs/LehtinenZ22 %A Lehtinen, Karoliina %A Zimmermann, Martin %D 2022 %J Log. Methods Comput. Sci. %K dblp %N 1 %T Good-for-games ω-Pushdown Automata. %U http://dblp.uni-trier.de/db/journals/lmcs/lmcs18.html#LehtinenZ22 %V 18

@article{journals/lmcs/LehtinenZ22, added-at = {2023-01-24T00:00:00.000+0100}, author = {Lehtinen, Karoliina and Zimmermann, Martin}, biburl = {https://www.bibsonomy.org/bibtex/2078310cb23dd86d1d495261afb9004eb/dblp}, ee = {https://doi.org/10.46298/lmcs-18(1:3)2022}, interhash = {1c6c5adf6369998a1dd0c72345de68c2}, intrahash = {078310cb23dd86d1d495261afb9004eb}, journal = {Log. Methods Comput. Sci.}, keywords = {dblp}, number = 1, timestamp = {2024-04-09T01:50:43.000+0200}, title = {Good-for-games ω-Pushdown Automata.}, url = {http://dblp.uni-trier.de/db/journals/lmcs/lmcs18.html#LehtinenZ22}, volume = 18, year = 2022 }