Termination Competition 2015

Termination of Rewriting

Termination of Programs

Complexity Analysis