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 |
Unterlagen |
|---|
| 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 |
|
|
|
|
Literatur
Slides and solutions to selected exercises will be made available online.
Accompanying literature will be provided.