Cycling in proofs and feasibility (Q4942870): Difference between revisions

@@ Property / cites work @@
+Q5761848
@@ Property / cites work: Q5761848 / rank @@
+Normal rank
@@ Property / cites work @@
+Don't eliminate cut
@@ Property / cites work: Don't eliminate cut / rank @@
+Normal rank
@@ Property / cites work @@
+The undecidability of \(k\)-provability
@@ Property / cites work: The undecidability of \(k\)-provability / rank @@
+Normal rank
@@ Property / cites work @@
+Interpolants, cut elimination and flow graphs for the propositional calculus
+Normal rank
@@ Property / cites work @@
+Turning cycles into spirals
@@ Property / cites work: Turning cycles into spirals / rank @@
+Normal rank
@@ Property / cites work @@
+Looking from the inside and from the outside
@@ Property / cites work: Looking from the inside and from the outside / rank @@
+Normal rank
@@ Property / cites work @@
+Making proofs without Modus Ponens:  An introduction to the combinatorics and complexity of cut elimination
+Normal rank
@@ Property / cites work @@
+Q3968902
@@ Property / cites work: Q3968902 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3773876
@@ Property / cites work: Q3773876 / rank @@
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3997000
@@ Property / cites work: Q3997000 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4726219
@@ Property / cites work: Q4726219 / rank @@
+Normal rank
@@ Property / cites work @@
+Lower bounds for increasing complexity of derivations after cut elimination
+Normal rank
@@ Property / cites work @@
+Existence and feasibility in arithmetic
@@ Property / cites work: Existence and feasibility in arithmetic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3967512
@@ Property / cites work: Q3967512 / rank @@
+Normal rank
@@ Property / cites work @@
+Bounds for proof-search and speed-up in the predicate calculus
+Normal rank
@@ Property / cites work @@
+Q5593816
@@ Property / cites work: Q5593816 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3996751
@@ Property / cites work: Q3996751 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3240229
@@ Property / cites work: Q3240229 / rank @@
+Normal rank