Termination Competition 2020
(Final Run. First run is
here
)
Termination of Rewriting
Termination of Programs
Java Bytecode Recursive
Logic Programming with Cut
Prolog
Complexity Analysis
Demonstrations