The equivalence problem for deterministic MSO tree transducers is decidable

Joost Engelfriet, Sebastian Maneth. The equivalence problem for deterministic MSO tree transducers is decidable. Inf. Process. Lett., 100(5):206-212, 2006. [doi]

Abstract

Abstract is missing.