Proofs with monotone cuts (Q2888631): Difference between revisions

@@ Property / cites work @@
+Sorting in \(c \log n\) parallel steps
@@ Property / cites work: Sorting in \(c \log n\) parallel steps / rank @@
+Normal rank
@@ Property / cites work @@
+Monotone Proofs of the Pigeon Hole Principle
@@ Property / cites work: Monotone Proofs of the Pigeon Hole Principle / rank @@
+Normal rank
@@ Property / cites work @@
+Monotone simulations of non-monotone proofs.
@@ Property / cites work: Monotone simulations of non-monotone proofs. / rank @@
+Normal rank
@@ Property / cites work @@
+Polynomial size proofs of the propositional pigeonhole principle
+Normal rank
@@ Property / cites work @@
+Q3773876
@@ Property / cites work: Q3773876 / rank @@
+Normal rank
@@ Property / cites work @@
+Dual weak pigeonhole principle, Boolean complexity, and derandomization
+Normal rank
@@ Property / cites work @@
+A sorting network in bounded arithmetic
@@ Property / cites work: A sorting network in bounded arithmetic / rank @@
+Normal rank
@@ Property / cites work @@
+Lower bounds to the size of constant-depth propositional proofs
+Normal rank
@@ Property / cites work @@
+Syntactical and semantical properties of simple type theory
+Normal rank
@@ Property / cites work @@
+Short monotone formulae for the majority function
@@ Property / cites work: Short monotone formulae for the majority function / rank @@
+Normal rank
@@ Property / cites work @@
+Q3762226
@@ Property / cites work: Q3762226 / rank @@
+Normal rank