Equivalence of Symbolic Tree Transducers

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]

Authors

Vincent Hugot

This author has not been identified. Look up 'Vincent Hugot' in Google

Adrien Boiret

This author has not been identified. Look up 'Adrien Boiret' in Google

Joachim Niehren

This author has not been identified. Look up 'Joachim Niehren' in Google