Complexity of existential positive first-order logic (Q2843995): Difference between revisions
From MaRDI portal
Set profile property. |
ReferenceBot (talk | contribs) Changed an Item |
||||||||||||||
| (4 intermediate revisions by 3 users not shown) | |||||||||||||||
| aliases / en / 0 | aliases / en / 0 | ||||||||||||||
Complexity of Existential Positive First-Order Logic | |||||||||||||||
| description / en | description / en | ||||||||||||||
scientific article | scientific article; zbMATH DE number 5762607 | ||||||||||||||
| Property / title | |||||||||||||||
Complexity of Existential Positive First-Order Logic (English) | |||||||||||||||
| Property / title: Complexity of Existential Positive First-Order Logic (English) / rank | |||||||||||||||
Normal rank | |||||||||||||||
| Property / zbMATH Open document ID | |||||||||||||||
| Property / zbMATH Open document ID: 1268.03048 / rank | |||||||||||||||
Normal rank | |||||||||||||||
| Property / DOI | |||||||||||||||
| Property / DOI: 10.1007/978-3-642-03073-4_4 / rank | |||||||||||||||
Normal rank | |||||||||||||||
| Property / published in | |||||||||||||||
| Property / published in: Mathematical Theory and Computational Practice / rank | |||||||||||||||
Normal rank | |||||||||||||||
| Property / publication date | |||||||||||||||
28 July 2010
| |||||||||||||||
| Property / publication date: 28 July 2010 / rank | |||||||||||||||
Normal rank | |||||||||||||||
| Property / zbMATH DE Number | |||||||||||||||
| Property / zbMATH DE Number: 5762607 / rank | |||||||||||||||
Normal rank | |||||||||||||||
| Property / OpenAlex ID | |||||||||||||||
| Property / OpenAlex ID: W2569338977 / rank | |||||||||||||||
Normal rank | |||||||||||||||
| Property / OpenAlex ID | |||||||||||||||
| Property / OpenAlex ID: W1912308677 / rank | |||||||||||||||
Normal rank | |||||||||||||||
| Property / arXiv ID | |||||||||||||||
| Property / arXiv ID: 1011.4757 / rank | |||||||||||||||
Normal rank | |||||||||||||||
| 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
