The ACM Computing Classification System (1991)
F.4 MATHEMATICAL LOGIC AND FORMAL LANGUAGES
F.4.0 General
F.4.1 Mathematical Logic
(
F.1.1
,
I.2.2
,
I.2.3
)
F.4.2 Grammars and Other Rewriting Systems
(
D.3.1
)
F.4.3 Formal Languages
(
D.3.1
)
F.4.m Miscellaneous
Return to:
F. Theory of Computation
The ACM Computing Classification System (1991)
Overview of 1991 ACM Classification System