- Mathematical Logic and Foundations (7)
- Mathematical Logic and Formal Languages (4)
- Mathematics (4)
- Artificial Intelligence (incl. Robotics) (3)
- Logic (3)
- Artificial Intelligence (2)
- Computer Science (2)
- Database Management (2)
- Formal Languages and Automata Theory (2)
- Logics and Meanings of Programs (2)
- Computer Science Logic and Foundations of Programming (1)
- Computer System Implementation (1)
- Mathematics of Computing (1)
- Order, Lattices, Ordered Algebraic Structures (1)
- Theory of Computation (1)