Term rewriting systems

1. Abstract reduction systems 2. First-order term rewriting systems 3. Examples of TRSs and special rewriting formats 4. Orthogonality 5. Properties of rewriting: decidability and modularity 6. Termination 7. Completion of equational specifications 8. Equivalence of reductions 9. Strategies 10. Lambda calculus 11. Higher order rewriting 12. Infinitary rewriting 13. Term graph rewriting 14. Advanced ARS theory 15. Rewriting based languages and systems 16. Mathematical background.