News
typos corrected
Typos in the slides of weeks 3 and 4 have been
corrected.
slides of week 10
A mistake in the definition of LL-labeling on
slide 24 (spotted by Fabian Mitterwallner) has been corrected.
exercises for January 13
Exercise 1(c) has been corrected.
exercises for November 25
There have been small changes in
the exercises for November 25.
room change
On November 11 the course takes place in HSB 7.
prerequisites
Basic knowledge of term
rewriting is assumed.
registration required
Online registration is required
until September 21.
news
Check this site regularly for announcements; visit the
content page to access the slides and
homework exercises.