@inproceedings{hugot:hal-01517919, TITLE = {{Equivalence of Symbolic Tree Transducers}}, AUTHOR = {Hugot, Vincent and Boiret, Adrien and Niehren, Joachim}, URL = {https://inria.hal.science/hal-01517919}, BOOKTITLE = {{DLT 2017 - Developments in Language Theory}}, ADDRESS = {Liege, Belgium}, VOLUME = {105}, PAGES = {12}, YEAR = {2017}, MONTH = Aug, DOI = {10.1007/978-3-642-29709-0\_32}, KEYWORDS = { semi-structured data ; formal languages ; tree automata ; transducers}, PDF = {https://inria.hal.science/hal-01517919v2/file/symbeq.pdf}, HAL_ID = {hal-01517919}, HAL_VERSION = {v2}, }