Deciding the weak definability of Büchi definable tree languages (Computer Science Logic 2013 (CSL 2013)‚ CSL 2013‚ September 2−5‚ 2013‚ Torino‚ Italy, 2013)

(untitled) - Colcombet, T; Kuperberg, D; Löding, C; Boom, M