Complementing deterministic tree-walking automata

Anca Muscholl, Mathias Samuelides, Luc Segoufin. Complementing deterministic tree-walking automata. Inf. Process. Lett., 99(1):33-39, 2006. [doi]

Abstract

Abstract is missing.