The 1991 ACM Computing Classification System
Toggle navigation
Home
Advanced search
About...
My account
MATHEMATICAL LOGIC AND FORMAL LANGUAGES
Home
Theory of Computation
MATHEMATICAL LOGIC AND FORMAL LANGUAGES
Term
Metadata
MATHEMATICAL LOGIC AND FORMAL LANGUAGES
F.4
Broader Terms
BT
↑
Theory of Computation
More specific terms
NT2
F.4.0 ↓
General
NT2
F.4.1 ↓
Mathematical Logic
►
▼
NT3
↓
Computability theory
NT3
↓
Computational logic
NT3
↓
Lambda calculus and related systems
NT3
↓
Logic programming
NT3
↓
Mechanical theorem proving
NT3
↓
Model theory
NT3
↓
Proof theory
NT3
↓
Recursive function theory
NT2
F.4.2 ↓
Grammars and Other Rewriting Systems
►
▼
NT3
↓
Decision problems
NT3
↓
Grammar types
NT3
↓
Parallel rewriting systems
NT3
↓
Parsing
NT3
↓
Thue systems
NT2
F.4.3 ↓
Formal Languages
►
▼
NT3
↓
Algebraic language theory
NT3
↓
Classes defined by grammars or automata
NT3
↓
Classes defined by resource-bounded automata
NT3
↓
Decision problems
NT3
↓
Operations on languages
NT2
F.4.m ↓
Miscellaneous
Date of creation
30-Dec-2011
Accepted term
30-Dec-2011
Descendant terms
23
ARK
ark:/99152/t37m8vzy3lnrpo
More specific terms
5
Alternative terms
0
Related terms
0
Notes
0
Metadata
BS8723-5
DC
MADS
SKOS-Core
VDEX
XTM
Zthes
JSON
JSON-LD
Search