Publication:3086931
From MaRDI portal
zbMath1222.68111MaRDI QIDQ3086931
Thomas Schwentick, Wim Martens, Frank Neven
Publication date: 30 March 2011
XML; expressiveness; closure properties; survey article; deterministic top-down tree automata; complexity of static analysis problems
68Q45: Formal languages and automata