Proof compressions with circuit-structured substitutions (Q843604): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10958-009-9405-3
+Normal rank
@@ Property / OpenAlex ID @@
+W2073542215
@@ Property / OpenAlex ID: W2073542215 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4399249
@@ Property / cites work: Q4399249 / rank @@
+Normal rank
@@ Property / cites work @@
+Polynomial size proofs of the propositional pigeonhole principle
+Normal rank
@@ Property / cites work @@
+Q4513125
@@ Property / cites work: Q4513125 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3007263
@@ Property / cites work: Q3007263 / rank @@
+Normal rank
@@ Property / cites work @@
+On cut elimination in the presence of perice rule
@@ Property / cites work: On cut elimination in the presence of perice rule / rank @@
+Normal rank
@@ Property / cites work @@
+The intractability of resolution
@@ Property / cites work: The intractability of resolution / rank @@
+Normal rank
@@ Property / cites work @@
+Finite investigations of transfinite derivations
@@ Property / cites work: Finite investigations of transfinite derivations / rank @@
+Normal rank