Q3384905 (Q3384905): Difference between revisions

@@ Property / cites work @@
+Logical Foundations of Proof Complexity
@@ Property / cites work: Logical Foundations of Proof Complexity / rank @@
+Normal rank
@@ Property / cites work @@
+Q4510393
@@ Property / cites work: Q4510393 / rank @@
+Normal rank
@@ Property / cites work @@
+Linear-time algorithms for testing the satisfiability of propositional horn formulae
+Normal rank
@@ Property / cites work @@
+Q3743300
@@ Property / cites work: Q3743300 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3159146
@@ Property / cites work: Q3159146 / rank @@
+Normal rank
@@ Property / cites work @@
+On sentences which are true of direct unions of algebras
+Normal rank
@@ Property / cites work @@
+Logic in Computer Science
@@ Property / cites work: Logic in Computer Science / rank @@
+Normal rank
@@ Property / cites work @@
+A lattice-theoretical fixpoint theorem and its applications
+Normal rank