Deciding the weak definability of Büchi definable tree languages

Wadern / Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2013) [Contribution to a conference proceedings]

Computer Science Logic 2013 (CSL 2013) / Hrsg.: Simona Ronchi Della Rocca
Page(s): 215-230

Authors

Selected Authors

Colcombet, Thomas
Kuperberg, Denis
Löding, Christof
Vanden Boom, Michael

Identifier

Sources