Term Rewriting Systems 2012-2013

Lecture Slides:

The slides will be put online after each lecture:

Exercises: here

Example Exam (from 2010): here

Material


Last update December 22, 2008