Normal forms for second-order logic over finite structures, and classification of NP optimization problems (Q1919763)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Normal forms for second-order logic over finite structures, and classification of NP optimization problems |
scientific article |
Statements
Normal forms for second-order logic over finite structures, and classification of NP optimization problems (English)
0 references
24 July 1996
0 references
second-order definability
0 references
polynomially bounded NP optimization problems
0 references
normal form
0 references
finite successor structures
0 references
Kolaitis-Thakur hierarchy
0 references
minimization problems
0 references
maximization problems
0 references
