Browse by Subject: Theory of Computation

• (Top Level)
• Theory of Computation
• ANALYSIS OF ALGORITHMS AND PROBLEM COMPLEXITY (B.6-7, F.1.3) (1)
  • General (0)
  • Nonnumerical Algorithms and Problems (E.2-5, G.2, H.2-3) (2)
  • Numerical Algorithms and Problems (G.1, G.4, I.1) (0)
  • Tradeoffs between Complexity Measures (F.1.3) (0)
• COMPUTATION BY ABSTRACT DEVICES (0)
  • Complexity Measures and Classes (F.2) (0)
  • General (0)
  • Models of Computation (F.4.1) (1)
  • Modes of Computation (0)
• GENERAL (0)
• LOGICS AND MEANINGS OF PROGRAMS (0)
  • General (1)
  • Semantics of Programming Languages (D.3.1) (22)
  • Specifying and Verifying and Reasoning about Programs (D.2.1, D.2.4, D.3.1, E.1) (61)
  • Studies of Program Constructs (D.3.2-3) (15)
• MATHEMATICAL LOGIC AND FORMAL LANGUAGES (0)
  • Formal Languages (D.3.1) (0)
  • General (1)
  • Grammars and Other Rewriting Systems (D.3.1) (2)
  • Mathematical Logic (F.1.1, I.2.2-4) (1)