The ACM Computing Classification System (1998)

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, I.2.4)
• F.4.2 Grammars and Other Rewriting Systems (D.3.1)
• F.4.3 Formal Languages (D.3.1)
• F.4.m Miscellaneous