On the complexity of existential positive queries (Q5410336): Difference between revisions

@@ Property / cites work @@
+Q4864249
@@ Property / cites work: Q4864249 / rank @@
+Normal rank
@@ Property / cites work @@
+Tree-width for first order formulae
@@ Property / cites work: Tree-width for first order formulae / rank @@
+Normal rank
@@ Property / cites work @@
+An             <i>n</i>             ! lower bound on formula size
@@ Property / cites work: An <i>n</i> ! lower bound on formula size / rank @@
+Normal rank
@@ Property / cites work @@
+On preservation under homomorphisms and unions of conjunctive queries
+Normal rank
@@ Property / cites work @@
+Preprocessing of intractable problems
@@ Property / cites work: Preprocessing of intractable problems / rank @@
+Normal rank
@@ Property / cites work @@
+Decomposing Quantified Conjunctive (or Disjunctive) Formulas
+Normal rank
@@ Property / cites work @@
+Constraint satisfaction with succinctly specified relations
+Normal rank
@@ Property / cites work @@
+Q4850061
@@ Property / cites work: Q4850061 / rank @@
+Normal rank
@@ Property / cites work @@
+Query evaluation via tree-decompositions
@@ Property / cites work: Query evaluation via tree-decompositions / rank @@
+Normal rank
@@ Property / cites work @@
+Parametrized complexity theory.
@@ Property / cites work: Parametrized complexity theory. / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of homomorphism and constraint satisfaction problems seen from the other side
+Normal rank
@@ Property / cites work @@
+The succinctness of first-order logic on linear orders
+Normal rank
@@ Property / cites work @@
+When is the evaluation of conjunctive queries tractable?
+Normal rank
@@ Property / cites work @@
+The core of a graph
@@ Property / cites work: The core of a graph / rank @@
+Normal rank
@@ Property / cites work @@
+Turing machines that take advice
@@ Property / cites work: Turing machines that take advice / rank @@
+Normal rank
@@ Property / cites work @@
+Conjunctive-query containment and constraint satisfaction
+Normal rank
@@ Property / cites work @@
+The Complexity of Positive First-Order Logic without Equality
+Normal rank
@@ Property / cites work @@
+Tractable hypergraph properties for constraint satisfaction and conjunctive queries
+Normal rank
@@ Property / cites work @@
+Tractable structures for constraint satisfaction with truth tables
+Normal rank
@@ Property / cites work @@
+Homomorphism preservation theorems
@@ Property / cites work: Homomorphism preservation theorems / rank @@
+Normal rank