Term Rewriting

The solutions of the test are available.

Check this site regularly for announcements; visit the content page to access the slides and lecture notes.