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