Unambiguity and uniformization problems on infinite trees

Marcin Bilkowski, Michal Skrzypczak. Unambiguity and uniformization problems on infinite trees. In Simona Ronchi Della Rocca, editor, Computer Science Logic 2013 (CSL 2013), CSL 2013, September 2-5, 2013, Torino, Italy. Volume 23 of LIPIcs, pages 81-100, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2013. [doi]

Abstract

Abstract is missing.