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.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.