Computability and decidability Computable maps 4 Computer science 4 Finite model property 4 Infinite words 4 Metric spaces 4 Modal logic 4 Modal logics 4 Problem solving 4 Semantics 4 Set theory 4 Theorem proving 4 Topology 4 Turing machines 4 Algorithmics 2 Bisimulation 2 Complexity 2 Computation theory 2 Computer circuits 2 Computer scientists 2 Constraint Solving 2 Data structures 2 Decidability 2 Expressive power 2 First-order 2 Formal logic 2 Fuzzy logic 2 Gödel logics 2 Heidelberg (CO) 2 Hybrid logics 2