Tree Automata and Rewriting
This is a three-lecture course given at the
5th
International Summer School on Rewriting, July 2010,
Utrecht. This lecture course had a focus on the relation between
tree automata and first-order logic theories.
The copies of the slides provided here are obtained by merging
overlays, and do not always correspond exactly to what has been shown
during class.