TY  - RPRT
TI  - Arbitrary-arity Tree Automata and QCTL
AU  - François Laroussinie
AU  - Nicolas Markey
PY  - 2026
UR  - https://arxiv.org/abs/2410.18799
ID  - 2410.18799
ER  -