TY  - RPRT
TI  - Deciding Linear Height and Linear Size-to-Height Increase for Macro Tree Transducers
AU  - Paul Gallot
AU  - Sebastian Maneth
AU  - Keisuke Nakano
AU  - Charles Peyrat
PY  - 2024
UR  - https://arxiv.org/abs/2307.16500
ID  - 2307.16500
ER  -