Nondeterministic Tree-Walking Automata Are Not Closed Under Complementation.

Olga Martynova, Alexander Okhotin

Browse the full ICALP paper archive.