Complexity of existential positive first-order logic (Q2843995)
From MaRDI portal
scientific article; zbMATH DE number 5762607
- Complexity of Existential Positive First-Order Logic
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
Complexity of Existential Positive First-Order Logic (English)
0 references
27 August 2013
0 references
28 July 2010
0 references
computational complexity
0 references
existential positive first-order logic
0 references
constraint satisfaction problems
0 references