Automata, Logic, and XML

Abstract We survey some recent developments in the broad area of automata and logic which are motivated by the advent of XML. In particular, we consider unranked tree automata, tree-walking automata, and automata over infinite alphabets. We focus on their connection with logic and on questions imposed by XML.

Authors

• Frank Neven

Keywords

No keywords are indexed for this paper.