Termination Competition 2021 (First Run)

Termination of Rewriting

Termination of Programs

Complexity Analysis

Demonstrations

TRS Outermost
AProVE551426
AProVE551423
Haskell
AProVE551423
Java Bytecode
AProVE551423
Java Bytecode Recursive
AProVE551423
Logic Programming with Cut
AProVE551423
Prolog
AProVE551423
Complexity: C_Integer
AProVE551427
Complexity: ITS
AProVE551428