On the Equivalence Problem for Letter-to-Letter Top-Down Tree Transducers

Yves Andre, Francis Bossut. On the Equivalence Problem for Letter-to-Letter Top-Down Tree Transducers. Theoretical Computer Science, 205(1-2):207-229, 1998. [doi]

Abstract

Abstract is missing.