Automata, Logic, and XML

  title={Automata, Logic, and XML},
  author={Frank Neven},
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.