en | de

Selected Topics in Term Rewriting

master program

VU3  WS 2025/2026  703352

Content

In this course a number of current and advanced topics in term rewriting is covered: Basic knowledge of term rewriting (as covered in the bachelor course Term Rewriting) is assumed.

Schedule

week date topics slides exercises solutions material
01 06.10
02 13.10
03 20.10
04 27.10
05 03.11
06 10.11
07 17.11
08 24.11
09 01.12
10 15.12
11 12.01
12 19.01
13 26.01
02.02 test

Literature

Slides and solutions to selected exercises will be made available online. Accompanying literature will be provided.