A finite model-theoretical proof of a property of bounded query classes within PH (Q5311769)
From MaRDI portal
scientific article; zbMATH DE number 2199974
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A finite model-theoretical proof of a property of bounded query classes within PH |
scientific article; zbMATH DE number 2199974 |
Statements
A finite model-theoretical proof of a property of bounded query classes within PH (English)
0 references
29 August 2005
0 references
polynomial-time hierarchy
0 references
complexity classes
0 references
descriptive complexity theory
0 references
finite model theory
0 references
FM-truth definitions
0 references
