Complexity of existential positive first-order logic (Q2843995): Difference between revisions
From MaRDI portal
EloiFerrer (talk | contribs) Merged Item from Q3576035 |
ReferenceBot (talk | contribs) Changed an Item |
||
| Property / cites work | |||
| Property / cites work: Non-dichotomies in Constraint Satisfaction Complexity / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q4198056 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: On the Computational Complexity of Monotone Constraint Satisfaction Problems / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: A comparison of polynomial time reducibilities / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: First-Order Model Checking Problems Parameterized by the Model / rank | |||
Normal rank | |||
Latest revision as of 01:58, 3 July 2024
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
