The ACM Computing Classification System (1991)

F. Theory of Computation

• F.0 GENERAL
• F.1 COMPUTATION BY ABSTRACT DEVICES
• F.2 ANALYSIS OF ALGORITHMS AND PROBLEM COMPLEXITY (B.6, B.7, F.1.3)
• F.3 LOGICS AND MEANINGS OF PROGRAMS
• F.4 MATHEMATICAL LOGIC AND FORMAL LANGUAGES
• F.m MISCELLANEOUS