Characterizing and Deciding MSO-Definability of Macro Tree Transductions.

Joost Engelfriet, Sebastian Maneth

Browse the full STACS paper archive.