A Survey on Decidable Equivalence Problems for Tree Transducers

Sebastian Maneth. A Survey on Decidable Equivalence Problems for Tree Transducers. Int. J. Found. Comput. Sci., 26(8):1069-1100, 2015. [doi]

Abstract

Abstract is missing.