Termination Competition 2014

Termination of Rewriting

Termination of Programs

Complexity Analysis