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 |
|---|
| 01 |
13.10 |
termination |
pdf (1x1, 4x1) |
pdf |
pdf |
| 02 |
20.10 |
polynomial termination |
pdf (1x1, 4x1) |
pdf |
pdf |
| 03 |
27.10 |
simple termination |
pdf (1x1, 4x1) |
pdf |
|
| 04 |
03.11 |
semantic labeling |
|
|
|
| 05 |
10.11 |
simple termination |
|
|
|
| 06 |
17.11 |
|
|
|
|
| 07 |
24.11 |
|
|
|
|
| 08 |
01.12 |
|
|
|
|
| 09 |
15.12 |
|
|
|
|
| 10 |
12.01 |
|
|
|
|
| 11 |
19.01 |
|
|
|
|
| 12 |
26.01 |
|
|
|
|
|
02.02 |
test |
|
|
|
Literature
Slides and solutions to selected exercises will be made available online.
Accompanying literature will be provided.