Content

In this course a number of current and advanced topics in term rewriting is covered:

• conditional term rewriting
• confluence criteria
• context-sensitive rewriting
• proof terms
• strategies
• …

Basic knowledge of term rewriting (as covered in the bachelor course Term Rewriting) is assumed. Access to the recordings of the 2020 version of the bachelor course Term Rewriting is provided to interested students.

Schedule

Literature

The course material and slides will be made available online. The same holds for solutions to selected exercises.