Partially ordered connectives and monadic monotone strict NP (Q1024818): Difference between revisions

@@ Property / cites work @@
+On digraph coloring problems and treewidth duality
+Normal rank
@@ Property / cites work @@
+Applications of Strict Π<sub>1</sub><sup>1</sup> predicates to infinitary logic
+Normal rank
@@ Property / cites work @@
+On branching quantifiers in English
@@ Property / cites work: On branching quantifiers in English / rank @@
+Normal rank
@@ Property / cites work @@
+Henkin quantifiers and complete problems
@@ Property / cites work: Henkin quantifiers and complete problems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4255575
@@ Property / cites work: Q4255575 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4058132
@@ Property / cites work: Q4058132 / rank @@
+Normal rank
@@ Property / cites work @@
+Monadic generalized spectra
@@ Property / cites work: Monadic generalized spectra / rank @@
+Normal rank
@@ Property / cites work @@
+The Computational Structure of Monotone Monadic SNP and Constraint Satisfaction: A Study through Datalog and Group Theory
+Normal rank
@@ Property / cites work @@
+Relativized logspace and generalized quantifiers over finite ordered structures
+Normal rank
@@ Property / cites work @@
+Second order logic and the weak exponential hierarchies
+Normal rank
@@ Property / cites work @@
+On the complexity of H-coloring
@@ Property / cites work: On the complexity of H-coloring / rank @@
+Normal rank
@@ Property / cites work @@
+Q4395567
@@ Property / cites work: Q4395567 / rank @@
+Normal rank
@@ Property / cites work @@
+Quantifiers vs. Quantification Theory
@@ Property / cites work: Quantifiers vs. Quantification Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q4227581
@@ Property / cites work: Q4227581 / rank @@
+Normal rank
@@ Property / cites work @@
+Hierarchies of Partially Ordered Connectives and Quantifiers
+Normal rank
@@ Property / cites work @@
+Q4395559
@@ Property / cites work: Q4395559 / rank @@
+Normal rank
@@ Property / cites work @@
+Henkin and function quantifiers
@@ Property / cites work: Henkin and function quantifiers / rank @@
+Normal rank
@@ Property / cites work @@
+On the Structure of Polynomial Time Reducibility
@@ Property / cites work: On the Structure of Polynomial Time Reducibility / rank @@
+Normal rank
@@ Property / cites work @@
+Q4298260
@@ Property / cites work: Q4298260 / rank @@
+Normal rank
@@ Property / cites work @@
+PARTIALLY ORDERED CONNECTIVES
@@ Property / cites work: PARTIALLY ORDERED CONNECTIVES / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of satisfiability problems
@@ Property / cites work: The complexity of satisfiability problems / rank @@
+Normal rank
@@ Property / cites work @@
+Q3396588
@@ Property / cites work: Q3396588 / rank @@
+Normal rank
@@ Property / cites work @@
+Logical Approaches to Computational Barriers
@@ Property / cites work: Logical Approaches to Computational Barriers / rank @@
+Normal rank
@@ Property / cites work @@
+Finite partially-ordered quantification
@@ Property / cites work: Finite partially-ordered quantification / rank @@
+Normal rank