Deciding the weak definability of Büchi definable tree languages
Thomas Colcombet‚ Denis Kuperberg‚ Christof Löding and Michael Vanden Boom
Book Title
Computer Science Logic 2013 (CSL 2013)‚ CSL 2013‚ September 2−5‚ 2013‚ Torino‚ Italy
Editor
Simona Ronchi Della Rocca
ISBN
978−3−939897−60−6
Pages
215–230
Publisher
Schloss Dagstuhl − Leibniz−Zentrum fuer Informatik
Series
LIPIcs
Volume
23
Year
2013