Published in: LIPIcs, Volume 170, 45th International Symposium on Mathematical Foundations of Computer Science (MFCS 2020)
Alexander Rabinovich and Doron Tiferet. Ambiguity Hierarchy of Regular Infinite Tree Languages. In 45th International Symposium on Mathematical Foundations of Computer Science (MFCS 2020). Leibniz International Proceedings in Informatics (LIPIcs), Volume 170, pp. 80:1-80:14, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2020)
@InProceedings{rabinovich_et_al:LIPIcs.MFCS.2020.80, author = {Rabinovich, Alexander and Tiferet, Doron}, title = {{Ambiguity Hierarchy of Regular Infinite Tree Languages}}, booktitle = {45th International Symposium on Mathematical Foundations of Computer Science (MFCS 2020)}, pages = {80:1--80:14}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-159-7}, ISSN = {1868-8969}, year = {2020}, volume = {170}, editor = {Esparza, Javier and Kr\'{a}l', Daniel}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2020.80}, URN = {urn:nbn:de:0030-drops-127495}, doi = {10.4230/LIPIcs.MFCS.2020.80}, annote = {Keywords: automata on infinite trees, ambiguous automata, monadic second-order logic} }
Published in: LIPIcs, Volume 23, Computer Science Logic 2013 (CSL 2013)
Marcin Bilkowski and Michał Skrzypczak. Unambiguity and uniformization problems on infinite trees. In Computer Science Logic 2013 (CSL 2013). Leibniz International Proceedings in Informatics (LIPIcs), Volume 23, pp. 81-100, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2013)
@InProceedings{bilkowski_et_al:LIPIcs.CSL.2013.81, author = {Bilkowski, Marcin and Skrzypczak, Micha{\l}}, title = {{Unambiguity and uniformization problems on infinite trees}}, booktitle = {Computer Science Logic 2013 (CSL 2013)}, pages = {81--100}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-60-6}, ISSN = {1868-8969}, year = {2013}, volume = {23}, editor = {Ronchi Della Rocca, Simona}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2013.81}, URN = {urn:nbn:de:0030-drops-41916}, doi = {10.4230/LIPIcs.CSL.2013.81}, annote = {Keywords: nondeterministic automata, infinite trees, MSO logic} }
Feedback for Dagstuhl Publishing