Deciding the weak definability of Bchi definable tree languages.

Thomas Colcombet, Denis Kuperberg, Christof Lding, Michael Vanden Boom

Browse the full CSL paper archive.