en | de

Selected Topics in Term Rewriting

master program

VU3  SS 2021  703822


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 material
1 02.03 termination methods
2 09.03 semantic labeling
3 16.03 simple termination, polynomial interpretations over Q and R
4 23.03 ordinal interpretations
5 13.04 Gröbner bases
6 20.04 Gröbner bases, Buchberger's algorithm
7 27.04 canonical Gröbner bases
8 04.05 rewriting modulo AC
9 11.05 completion modulo AC, AC-KBO
10 18.05 completion modulo AC, context-sensitive rewriting
11 25.05 context-sensitive rewriting, leftmost outermost strategy
12 01.06 modularity
13 08.06 type introduction
14 15.06 modularity, order-sorted decomposition
15 29.06 test

Literature

The course material and slides will be made available online. The same holds for solutions to selected exercises. Recordings of the lectures are available from OLAT.