Equivalence of Deterministic Top-Down Tree-to-String Transducers Is Decidable

Helmut Seidl, Sebastian Maneth, Gregor Kemper. Equivalence of Deterministic Top-Down Tree-to-String Transducers Is Decidable. Journal of the ACM, 65(4), 2018. [doi]

Abstract

Abstract is missing.