Pages that link to "Item:Q2946653"
From MaRDI portal
The following pages link to The Complexity of Positive First-Order Logic without Equality (Q2946653):
Displayed 5 items.
- On the Complexity of the Model Checking Problem (Q3176188) (← links)
- The lattice and semigroup structure of multipermutations (Q5063206) (← links)
- The Complexity of Quantified Constraints Using the Algebraic Formulation (Q5111241) (← links)
- On the complexity of existential positive queries (Q5410336) (← links)
- The Complexity of Quantified Constraints: Collapsibility, Switchability, and the Algebraic Formulation (Q5875947) (← links)