International School on Rewriting 2022 International School on Rewriting 2022

International School on Rewriting 2022
Advanced Track Course on
Automated Termination Analysis of Term Rewriting


Lecturer

Carsten Fuhs, Department of Computer Science and Information Systems, Birkbeck, University of London


Material

Slides for Monday, 19 September 2022 and Tuesday, 20 September 2022: Slides


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