TY  - RPRT
TI  - On the Boolean Closure of Deterministic Top-Down Tree Automata
AU  - Christof Löding
AU  - Wolfgang Thomas
PY  - 2024
DO  - 10.1142/s0129054123480015
UR  - https://arxiv.org/abs/2401.06596
ID  - 2401.06596
ER  -