Mathematical logic
Logic in computer science
Applied mathematics
Rewriting
Unification
Semi-Thue system
Theoretical computer science
Mathematics
Formal languages