The complexity of Gentzen systems for propositional logic (Q1263584): Difference between revisions

@@ 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.1016/0304-3975(89)90147-3
+Normal rank
@@ Property / OpenAlex ID @@
+W2009733922
@@ Property / OpenAlex ID: W2009733922 / rank @@
+Normal rank
@@ Property / cites work @@
+A simplified proof that regular resolution is exponential
+Normal rank
@@ Property / cites work @@
+Q4133141
@@ Property / cites work: Q4133141 / rank @@
+Normal rank
@@ Property / cites work @@
+The relative efficiency of propositional proof systems
+Normal rank
@@ Property / cites work @@
+Q4065548
@@ Property / cites work: Q4065548 / rank @@
+Normal rank
@@ Property / cites work @@
+On the complexity of regular resolution and the Davis-Putnam procedure
+Normal rank
@@ Property / cites work @@
+Q4302462
@@ Property / cites work: Q4302462 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5516473
@@ Property / cites work: Q5516473 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4043971
@@ Property / cites work: Q4043971 / rank @@
+Normal rank
@@ Property / cites work @@
+A note on regular resolution
@@ Property / cites work: A note on regular resolution / rank @@
+Normal rank
@@ Property / cites work @@
+Q5559220
@@ Property / cites work: Q5559220 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4152212
@@ Property / cites work: Q4152212 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3682462
@@ Property / cites work: Q3682462 / rank @@
+Normal rank
@@ Property / cites work @@
+Bounds for proof-search and speed-up in the predicate calculus
+Normal rank
@@ Property / cites work @@
+Q5685059
@@ Property / cites work: Q5685059 / rank @@
+Normal rank