This page is for listing all techniques applied by the participants of the complexity competitions.

Be aware: the lists are still preliminary.

Derivational Complexity

next year or prev year

Method	2008
Arctic Interpretation	CaT, TcT
Match Bounds	CaT, TcT
Matrix Interpretation Triangular	TcT (N)
Matrix Interpretation Non-Triangular	---
Modular (Relative) Complexity Analysis	---
Rewriting Right Hand Sides	CaT
Root Labeling	CaT
Weight Gap Principle	---

Runtime Complexity

next year or prev year

Method	2008
Arctic Interpretation	---
Match Bounds	TcT
Matrix Interpretation Triangular	TcT (N)
Matrix Interpretation Non-Triangular	---
Modular (Relative) Complexity Analysis	---
Polynomial Interpretations	---
Polynomial Path Orders	TcT
Rewriting Right Hand Sides	---
Root Labeling	---
Weak Dependency Pairs	TcT
Dependency Tuples	---
Path Analysis	TcT
Weight Gap Principle	TcT
DG Decomposition	---