Decidability of Equivalence for a Class of Non-Deterministic Tree Transducers
RAIRO - Theoretical Informatics and Applications - France
doi 10.1051/ita/1994280504471
Full Text
Open PDFAbstract
Available in full text
Date
January 1, 1994
Authors
Publisher
EDP Sciences