The ACM Computing Classification System (1998)

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

Return To:

The ACM Computing Classification System
Overview of the ACM Classification System

Reproduction in whole or part without permission is prohibited. Privacy Policy | Terms of Use
Copyright © 2000-2003 Reviews.com.