Inhalt

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

• completion modulo
• context-sensitive rewriting
• Gröbner bases
• modularity
• termination techniques
• …

Basic knowledge of term rewriting (as covered in the bachelor course Term Rewriting) is assumed.

Zeitplan

Woche	Datum	Themen	Folien	Unterlagen
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

Literatur

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.