ISR 2010

3rd International School on Rewriting

3 – 8 July 2010, Drift 21, Utrecht, Netherlands

Introduction to Term Rewriting


Aart Middeldorp (University of Innsbruck, Austria)
Femke van Raamsdonk (VU Amsterdam, The Netherlands)


(basic track, 11 lecture sessions, 4 exercise sessions, exam, 3 ECTS)

This course provides an introduction to term rewriting, a Turing-complete computational model based on directed equations. We discuss the basic concepts and results. After an optional exam we conclude by providing an outlook to some recent research in term rewriting.

The following topics will be covered:

No background knowledge is assumed.