Pages that link to "Item:Q2843995"
From MaRDI portal
The following pages link to Complexity of existential positive first-order logic (Q2843995):
Displaying 11 items.
- The complexity of equivalence, entailment, and minimization in existential positive logic (Q473196) (← links)
- Complexity of existential positive first-order logic (Q2843995) (← links)
- Precise Upper and Lower Bounds for the Monotone Constraint Satisfaction Problem (Q2946352) (← links)
- The Complexity of Positive First-Order Logic without Equality (Q2946653) (← links)
- On the Complexity of the Model Checking Problem (Q3176188) (← links)
- (Q3576035) (redirect page) (← links)
- (Q4231780) (← links)
- On Existentially First-Order Definable Languages and Their Relation to NP (Q4718893) (← links)
- The Exact Complexity of the First-Order Logic Definability Problem (Q5012557) (← links)
- On the complexity of existential positive queries (Q5410336) (← links)
- Positive First-order Logic on Words and Graphs (Q6135776) (← links)