On the equivalence problem for letter-to-letter top-down tree transducers

Autor: Andre, Yves, Bossut, Francis
Zdroj: In Theoretical Computer Science 1998 205(1):207-229
Databáze: ScienceDirect