SO F : A Semantic Restriction over Second-Order Logic and Its Polynomial-Time Hierarchy (Q3224003)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | SO F : A Semantic Restriction over Second-Order Logic and Its Polynomial-Time Hierarchy |
scientific article |
Statements
SO F : A Semantic Restriction over Second-Order Logic and Its Polynomial-Time Hierarchy (English)
0 references
9 March 2012
0 references
finite model theory
0 references
descriptive complexity
0 references
relational machines
0 references
