Deciding the weak definability of Büchi definable tree languages

Colcombet, Thomas (Corresponding author); Kuperberg, Denis (Corresponding author); Löding, Christof (Corresponding author); Vanden Boom, Michael (Corresponding author)

Wadern : Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2013)
Contribution to a book, Contribution to a conference proceedings

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