Normal forms for second-order logic over finite structures, and classification of NP optimization problems (Q1919763)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Normal forms for second-order logic over finite structures, and classification of NP optimization problems |
scientific article; zbMATH DE number 909717
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Normal forms for second-order logic over finite structures, and classification of NP optimization problems |
scientific article; zbMATH DE number 909717 |
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
