Decidability of Equivalence for a Class of Non-Deterministic Tree Transducers

Yves Andre, Max Dauchet. Decidability of Equivalence for a Class of Non-Deterministic Tree Transducers. ITA, 28(5):447-463, 1994.

Abstract

Abstract is missing.