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
Identifier
- URN: urn:nbn:de:0030-drops-41998
- DOI: 10.4230/LIPIcs.CSL.2013.215
- RWTH PUBLICATIONS: RWTH-CONV-202944