Pages that link to "Item:Q2828230"
From MaRDI portal
The following pages link to The fine classification of conjunctive queries and parameterized logarithmic space (Q2828230):
Displaying 8 items.
- An \(O(n \log n)\)-space decision procedure for the relevance logic \(B^+\) (Q1595921) (← links)
- The parameterized space complexity of embedding along a path (Q2408562) (← links)
- (Q4972729) (← links)
- On the Descriptive Complexity of Color Coding (Q5090457) (← links)
- (Q5144619) (← links)
- Decomposing Quantified Conjunctive (or Disjunctive) Formulas (Q5506695) (← links)
- Parameterised complexity of model checking and satisfiability in propositional dependence logic (Q5918486) (← links)
- Parameterised counting in logspace (Q6093373) (← links)