Termination Competition 2024

Termination of Rewriting

Termination of Programs

Demonstrations