×
Theory of Computation
More specific terms
NT
F.0 GENERAL
NT
F.1 COMPUTATION BY ABSTRACT DEVICES
NT
F.2 ANALYSIS OF ALGORITHMS AND PROBLEM COMPLEXITY
NT
F.3 LOGICS AND MEANINGS OF PROGRAMS
NT
F.4 MATHEMATICAL LOGIC AND FORMAL LANGUAGES
NT
F.m MISCELLANEOUS