Pages that link to "Item:Q473196"
From MaRDI portal
The following pages link to The complexity of equivalence, entailment, and minimization in existential positive logic (Q473196):
Displaying 11 items.
- On the complexity of entailment in existential conjunctive first-order logic with atomic negation (Q714500) (← links)
- Generic expression hardness results for primitive positive formula comparison (Q1951576) (← links)
- Complexity of the problem of being equivalent to Horn formulas (Q2145867) (← links)
- How many variables are needed to express an existential positive query? (Q2322719) (← links)
- Complexity of existential positive first-order logic (Q2843995) (← links)
- The Complexity of Positive First-Order Logic without Equality (Q2946653) (← links)
- How many variables are needed to express an existential positive query (Q3174898) (← links)
- ASP for minimal entailment in a rational extension of SROEL (Q4593055) (← links)
- Eigenvariables, bracketing and the decidability of positive minimal intuitionistic logic (Q4924544) (← links)
- On the complexity of existential positive queries (Q5410336) (← links)
- Complexity of the problem of being equivalent to Horn formulas. II (Q6160501) (← links)