Termination Competition 2023

Termination of Rewriting

Termination of Programs

Complexity Analysis

Runtime Complexity: TRS Innermost
AProVE748138
AProVE748133

Demonstrations

Integer TRS Innermost
AProVE742587
Haskell
AProVE742587
Java Bytecode
AProVE748141
Java Bytecode Recursive
AProVE748141
Logic Programming with Cut
AProVE742587
Prolog
AProVE742587
Complexity: C Integer
KoAT747955
Complexity: ITS
KoAT & LoAT747959
Derivational Complexity: TRS
AProVE748136
Derivational Complexity: TRS Innermost
AProVE748136
Runtime Complexity: TRS
AProVE748133
Runtime Complexity: TRS Parallel Innermost
AProVE748137