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.