International School on Rewriting 2021
International School on Rewriting 2021
International School on Rewriting 2021
Advanced Track Course on
Automated Complexity Analysis for Term Rewriting
Lecturer
Carsten Fuhs
,
Department of Computer Science and Information Systems,
Birkbeck, University of London
Overview
An overview of the course
Automated Complexity Analysis for Term Rewriting
is available in its
abstract
.
Material
The slides for the course:
Slides
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