Deterministic top-down tree automata: past, present, and future

Wim Martens, Frank Neven, Thomas Schwentick. Deterministic top-down tree automata: past, present, and future. In Jörg Flum, Erich Grädel, Thomas Wilke, editors, Logic and Automata: History and Perspectives [in Honor of Wolfgang Thomas]. Volume 2 of Texts in Logic and Games, pages 505-530, Amsterdam University Press, 2008.

Abstract

Abstract is missing.