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