Termination Competition 2017

Termination of Rewriting

Termination of Programs

Complexity Analysis

Demonstrations