TY  - RPRT
TI  - Nondeterministic tree-walking automata are not closed under complementation
AU  - Olga Martynova
AU  - Alexander Okhotin
PY  - 2024
UR  - https://arxiv.org/abs/2412.02618
ID  - 2412.02618
ER  -