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

@@ Property / author @@
-L. N. Gordeev
@@ Property / author: L. N. Gordeev / rank @@
-Normal rank
@@ Property / author @@
-Edward Hermann Haeusler
@@ Property / author: Edward Hermann Haeusler / rank @@
-Normal rank
@@ Property / author @@
+L. N. Gordeev
@@ Property / author: L. N. Gordeev / rank @@
+Normal rank
@@ Property / author @@
+Edward Hermann Haeusler
@@ Property / author: Edward Hermann Haeusler / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ 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
@@ links / mardi / name / links / mardi / name @@
+Publication:843604