Graph operations
Tree decomposition
Path decomposition
First-order logic
Tree
FO
Minor
Model theory
Dynamic programming
Graph theory
Mathematics
Theoretical computer science