Complexity of Existential Positive First-Order Logic (Q3576035)
From MaRDI portal
Item:Q3576035
scientific article; zbMATH DE number 5762607
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Complexity of Existential Positive First-Order Logic |
scientific article; zbMATH DE number 5762607 |
Statements
Complexity of Existential Positive First-Order Logic (English)
0 references
28 July 2010
0 references
computational complexity
0 references
existential positive first-order logic
0 references
constraint satisfaction problems
0 references
