Capturing the polynomial hierarchy by second-order revised Krom logic (Q6135775)
From MaRDI portal
scientific article; zbMATH DE number 7731934
| Language | Label | Description | Also known as |
|---|---|---|---|
| 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
