The ACM Computing Classification System (CCS)
Toggle navigation
Home
Advanced search
About...
My account
Formalisms
Home
Theory of computation
Formal languages and automata theory
Formalisms
Term
Metadata
Formalisms
Alternative terms
UF
↸
formalism
Broader Terms
BT
↑
Formal languages and automata theory
More specific terms
NT3
↓
Algebraic language theory
NT3
↓
Rewrite systems
Date of creation
22-Jan-2018
Accepted term
22-Jan-2018
Descendant terms
2
ARK
ark:/99152/t3j17zj2owqoln
More specific terms
2
Alternative terms
1
Related terms
0
Notes
0
Metadata
BS8723-5
DC
MADS
SKOS-Core
VDEX
XTM
Zthes
JSON
JSON-LD
Search