Pages that link to "Item:Q2881100"
From MaRDI portal
The following pages link to Tree-width for first order formulae (Q2881100):
Displayed 4 items.
- Using decomposition-parameters for QBF: mind the prefix! (Q2304627) (← links)
- How many variables are needed to express an existential positive query? (Q2322719) (← links)
- On the complexity of existential positive queries (Q5410336) (← links)
- Decomposing Quantified Conjunctive (or Disjunctive) Formulas (Q5506695) (← links)