Graph theory
Mathematics
Discrete mathematics
Static program analysis
Termination analysis
Graph
Cograph
KeY
IP
Ear decomposition