Content
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
- …
Schedule
| week | date | topics | slides | material |
|---|---|---|---|---|
| 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 |