Maneth, Sebastian A survey on decidable equivalence problems for tree transducers. (English) Zbl 1345.68212 Int. J. Found. Comput. Sci. 26, No. 8, 1069-1100 (2015). Reviewer: Andreas Maletti (Stuttgart) MSC: 68Q45 03D05 PDFBibTeX XMLCite \textit{S. Maneth}, Int. J. Found. Comput. Sci. 26, No. 8, 1069--1100 (2015; Zbl 1345.68212) Full Text: DOI
Engelfriet, Joost; Maneth, Sebastian The equivalence problem for deterministic MSO tree transducers is decidable. (English) Zbl 1185.68385 Inf. Process. Lett. 100, No. 5, 206-212 (2006). MSC: 68Q45 68R10 PDFBibTeX XMLCite \textit{J. Engelfriet} and \textit{S. Maneth}, Inf. Process. Lett. 100, No. 5, 206--212 (2006; Zbl 1185.68385) Full Text: DOI arXiv