Quantified conjunctive queries on partially ordered sets (Q2634671): Difference between revisions

@@ Property / cites work @@
+Model checking existential logic on partially ordered sets
+Normal rank
@@ Property / cites work @@
+Quantified Conjunctive Queries on Partially Ordered Sets
+Normal rank
@@ Property / cites work @@
+The complexity of constraint satisfaction games and QCSP
+Normal rank
@@ Property / cites work @@
+Decomposing Quantified Conjunctive (or Disjunctive) Formulas
+Normal rank
@@ Property / cites work @@
+The monadic second-order logic of graphs. I: Recognizable sets of finite graphs
+Normal rank
@@ Property / cites work @@
+Linear time solvable optimization problems on graphs of bounded clique-width
+Normal rank
@@ Property / cites work @@
+Parametrized complexity theory.
@@ Property / cites work: Parametrized complexity theory. / rank @@
+Normal rank
@@ Property / cites work @@
+Faster Existential FO Model Checking on Posets
@@ Property / cites work: Faster Existential FO Model Checking on Posets / rank @@
+Normal rank
@@ Property / cites work @@
+Q4860774
@@ Property / cites work: Q4860774 / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of homomorphism and constraint satisfaction problems seen from the other side
+Normal rank
@@ Property / cites work @@
+Q3118384
@@ Property / cites work: Q3118384 / rank @@
+Normal rank
@@ Property / cites work @@
+Deciding First-Order Properties of Nowhere Dense Graphs
+Normal rank
@@ Property / cites work @@
+Structural sparsity
@@ Property / cites work: Structural sparsity / rank @@
+Normal rank
@@ Property / cites work @@
+Q4332422
@@ Property / cites work: Q4332422 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4791727
@@ Property / cites work: Q4791727 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5284545
@@ Property / cites work: Q5284545 / rank @@
+Normal rank