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