TY  - RPRT
TI  - Definability Results for Top-Down Tree Transducers
AU  - Sebastian Maneth
AU  - Helmut Seidl
AU  - Martin Vu
PY  - 2021
UR  - https://arxiv.org/abs/2105.14860
ID  - 2105.14860
ER  -