Sub-categories
Automata theory (Formal languages)
Computability theory
Computational complexity theory
Concurrency theory

Back to Top