- Computer Science (3)
- Mathematical Logic and Formal Languages (3)
- Mathematical Logic and Foundations (3)
- Theory of Computation (3)
- Arithmetic and Logic Structures (2)
- Coding and Information Theory (1)
- Discrete Mathematics in Computer Science (1)
- Logics and Meanings of Programs (1)
- Symbolic and Algebraic Manipulation (1)