International School on Rewriting 2026
International School on Rewriting 2026
International School on Rewriting 2026
Advanced Track Course on
Termination Proving for Rewrite Systems and Programs
Lecturer
Carsten Fuhs
,
School of Computing and Mathematical Sciences
,
Birkbeck, University of London
Material
Lecture
Exercises
Solutions
AProVE Web Interface
The automated termination and complexity analysis tool
AProVE
provides an implementation of many of the techniques discussed in this course. For this course, the most convenient way to run AProVE is via its
Web Interface
.
Carsten Fuhs