epub @ SUB HH

68Qxx Theory of computing ( 0 Dok. )

• 68Q01 General ( 0 Dok. )
• 68Q05 Models of computation (Turing machines, etc.) ( 0 Dok. )
• 68Q10 Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) ( 0 Dok. )
• 68Q15 Complexity classes (hierarchies, relations among complexity classes, etc.) ( 0 Dok. )
• 68Q17 Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) ( 0 Dok. )
• 68Q19 Descriptive complexity and finite models ( 0 Dok. )
• 68Q25 Analysis of algorithms and problem complexity ( 0 Dok. )
• 68Q30 Algorithmic information theory (Kolmogorov complexity, etc.) ( 0 Dok. )
• 68Q32 Computational learning theory ( 0 Dok. )
• 68Q42 Grammars and rewriting systems ( 0 Dok. )
• 68Q45 Formal languages and automata ( 0 Dok. )
• 68Q55 Semantics ( 0 Dok. )
• 68Q60 Specification and verification (program logics, model checking, etc.) ( 0 Dok. )
• 68Q65 Abstract data types; algebraic specification ( 0 Dok. )
• 68Q70 Algebraic theory of languages and automata ( 0 Dok. )
• 68Q80 Cellular automata ( 0 Dok. )
• 68Q85 Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) ( 0 Dok. )
• 68Q99 None of the above, but in this section ( 0 Dok. )