Content
In this course a number of current and advanced topics in term rewriting is
covered:
-
AC rewriting
-
Gröbner bases
-
Hydra battles
-
modularity
-
proof terms
-
termination
-
…
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.