This site provides supporting material for the lecture Tree Automata Techniques in Term Rewriting at ISR 2026.

Slides

• lecture 1 (x1, x4)
• lecture 2 (x1, x4)

Course material

• chapter 8
• tata