Equivalence of Symbolic Tree Transducers.

Vincent Hugot, Adrien Boiret, Joachim Niehren

Browse the full DLT paper archive.