TY  - RPRT
TI  - Reducing Transducer Equivalence to Register Automata Problems Solved by "Hilbert Method"
AU  - Adrien Boiret
AU  - Radosław Piórkowski
AU  - Janusz Schmude
PY  - 2019
DO  - 10.4230/lipics.fsttcs.2018.48
UR  - https://arxiv.org/abs/1806.04361
ID  - 1806.04361
ER  -