Complexity of existential positive first-order logic (Q2843995): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
ReferenceBot (talk | contribs) Changed an Item |
||||||||||||||
(3 intermediate revisions by 2 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: 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