Vincent Hugot, Adrien Boiret, Joachim Niehren. Equivalence of Symbolic Tree Transducers. In Émilie Charlier, Julien Leroy 0002, Michel Rigo, editors, Developments in Language Theory - 21st International Conference, DLT 2017, Liège, Belgium, August 7-11, 2017, Proceedings. Volume 10396 of Lecture Notes in Computer Science, pages 109-121, Springer, 2017. [doi]
Abstract is missing.