en | de

Ausgewählte Kapitel der Termersetzung

Masterstudium

VU3  WS 2019/2020  703822

Neuigkeiten

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.