Inhalt
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.
Zeitplan
| Woche |
Datum |
Themen |
Folien |
Proseminar |
Musterlösungen |
|---|
| 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 |
pdf |
| 04 |
03.11 |
semantic labeling |
pdf (1x1, 4x1) |
pdf |
pdf |
| 05 |
10.11 |
simple termination, dependency pairs |
pdf (1x1, 4x1) |
pdf |
pdf |
| 06 |
17.11 |
dependency pairs |
pdf (1x1, 4x1) |
pdf |
pdf |
| 07 |
24.11 |
type introduction, AC termination |
pdf (1x1, 4x1) |
pdf |
|
| 08 |
01.12 |
ordinal interpretations |
|
|
|
| 09 |
15.12 |
Hydra battles |
|
|
|
| 10 |
12.01 |
Gröbner bases |
|
|
|
| 11 |
19.01 |
Gröbner bases |
|
|
|
| 12 |
26.01 |
|
|
|
|
|
02.02 |
test |
|
|
|
Literatur
Slides and solutions to selected exercises will be made available online.
Accompanying literature will be provided.