- Computation by Abstract Devices (7)
- Computer Science (7)
- Symbolic and Algebraic Manipulation (7)
- Mathematical Logic and Formal Languages (6)
- Algorithm Analysis and Problem Complexity (3)
- Mathematics of Computing (3)
- Theory of Computation (3)
- Discrete Mathematics in Computer Science (2)
- Logics and Meanings of Programs (2)
- Artificial Intelligence (incl. Robotics) (1)
- Data Mining and Knowledge Discovery (1)
- Mathematical Logic and Foundations (1)
- Memory Structures (1)
- Models and Principles (1)
- Neurobiology (1)
- Neurosciences (1)
- Software Engineering (1)