A parameterized view on the complexity of dependence logic (Q2151403): Difference between revisions

@@ Property / cites work @@
+Complexity of Finding Embeddings in a <i>k</i>-Tree
+Normal rank
@@ Property / cites work @@
+Q4291429
@@ Property / cites work: Q4291429 / rank @@
+Normal rank
@@ Property / cites work @@
+SOFSEM 2005: Theory and Practice of Computer Science
+Normal rank
@@ Property / cites work @@
+Fundamentals of parameterized complexity
@@ Property / cites work: Fundamentals of parameterized complexity / rank @@
+Normal rank
@@ Property / cites work @@
+Hierarchies in Dependence Logic
@@ Property / cites work: Hierarchies in Dependence Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4850061
@@ Property / cites work: Q4850061 / rank @@
+Normal rank
@@ Property / cites work @@
+On the space and circuit complexity of parameterized problems: classes and completeness
+Normal rank
@@ Property / cites work @@
+Inclusion and exclusion dependencies in team semantics -- on some logics of imperfect information
+Normal rank
@@ Property / cites work @@
+On Strongly First-Order Dependencies
@@ Property / cites work: On Strongly First-Order Dependencies / rank @@
+Normal rank
@@ Property / cites work @@
+Q2958528
@@ Property / cites work: Q2958528 / rank @@
+Normal rank
@@ Property / cites work @@
+Model-checking games for logics of imperfect information
+Normal rank
@@ Property / cites work @@
+Dependence and independence
@@ Property / cites work: Dependence and independence / rank @@
+Normal rank
@@ Property / cites work @@
+Descriptive complexity of real computation and probabilistic independence logic
+Normal rank
@@ Property / cites work @@
+Complexity of Propositional Logics in Team Semantic
+Normal rank
@@ Property / cites work @@
+Coherence and computational complexity of quantifier-free dependence logic formulas
+Normal rank
@@ Property / cites work @@
+Elements of finite model theory.
@@ Property / cites work: Elements of finite model theory. / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity results for modal dependence logic
@@ Property / cites work: Complexity results for modal dependence logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q5376653
@@ Property / cites work: Q5376653 / rank @@
+Normal rank
@@ Property / cites work @@
+Parameterised complexity of model checking and satisfiability in propositional dependence logic
+Normal rank
@@ Property / cites work @@
+First-Order Model Checking Problems Parameterized by the Model
+Normal rank
@@ Property / cites work @@
+Enumeration complexity of poor man's propositional dependence logic
+Normal rank
@@ Property / cites work @@
+Q4298260
@@ Property / cites work: Q4298260 / rank @@
+Normal rank
@@ Property / cites work @@
+Graph minors. III. Planar tree-width
@@ Property / cites work: Graph minors. III. Planar tree-width / rank @@
+Normal rank
@@ Property / cites work @@
+Q5503674
@@ Property / cites work: Q5503674 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3446107
@@ Property / cites work: Q3446107 / rank @@
+Normal rank