Automata, Logic, and XML

@inproceedings{Neven2002AutomataLA,
  title={Automata, Logic, and XML},
  author={Frank Neven},
  booktitle={CSL},
  year={2002}
}
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.