Capturing the polynomial hierarchy by second-order revised Krom logic (Q6135775)
From MaRDI portal
!
WARNING
This is the item page for this Wikibase entity, intended for internal use and editing purposes.
Please use the normal view instead:
scientific article; zbMATH DE number 7731934
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Capturing the polynomial hierarchy by second-order revised Krom logic |
scientific article; zbMATH DE number 7731934 |
Statements
Capturing the polynomial hierarchy by second-order revised Krom logic (English)
0 references
26 August 2023
0 references
polynomial hierarchy
0 references
Krom logic
0 references
descriptive complexity
0 references
second-order logic
0 references
