Complete Problems Involving Boolean Labelled Structures and Projection Transactions (Q3988061)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Complete Problems Involving Boolean Labelled Structures and Projection Transactions |
scientific article |
Statements
Complete Problems Involving Boolean Labelled Structures and Projection Transactions (English)
0 references
28 June 1992
0 references
finite model theory
0 references
descriptive complexity theory
0 references
polynomial hierarchy
0 references
complete problems
0 references
projection translations
0 references
complexity classes
0 references
reliability of networks of processors
0 references
