Beschreibung
The course will cover advanced and current developments in term rewriting:
- advanced confluence techniques
- advanced termination techniques
- complexity results
- conditional rewriting
- Gröbner bases
- infinitary rewriting
- modern completion techniques
- modularity