Extraction of expansion trees (Q670704): Difference between revisions

@@ Property / cites work @@
+Logic for Programming, Artificial Intelligence, and Reasoning
+Normal rank
@@ Property / cites work @@
+Proof Transformation by CERES
@@ Property / cites work: Proof Transformation by CERES / rank @@
+Normal rank
@@ Property / cites work @@
+Q4304753
@@ Property / cites work: Q4304753 / rank @@
+Normal rank
@@ Property / cites work @@
+Cut-elimination and redundancy-elimination by resolution
+Normal rank
@@ Property / cites work @@
+Towards a clausal analysis of cut-elimination
@@ Property / cites work: Towards a clausal analysis of cut-elimination / rank @@
+Normal rank
@@ Property / cites work @@
+Methods of cut-elimination
@@ Property / cites work: Methods of cut-elimination / rank @@
+Normal rank
@@ Property / cites work @@
+Cut-elimination: syntax and semantics
@@ Property / cites work: Cut-elimination: syntax and semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Program extraction from normalization proofs
@@ Property / cites work: Program extraction from normalization proofs / rank @@
+Normal rank
@@ Property / cites work @@
+Refined program extraction from classical proofs
@@ Property / cites work: Refined program extraction from classical proofs / rank @@
+Normal rank
@@ Property / cites work @@
+System Description: GAPT 2.0
@@ Property / cites work: System Description: GAPT 2.0 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Infinitude of Primes
@@ Property / cites work: On the Infinitude of Primes / rank @@
+Normal rank
@@ Property / cites work @@
+Topological dynamics and combinatorial number theory
+Normal rank
@@ Property / cites work @@
+Untersuchungen über das logische Schliessen. II
@@ Property / cites work: Untersuchungen über das logische Schliessen. II / rank @@
+Normal rank
@@ Property / cites work @@
+Q3773876
@@ Property / cites work: Q3773876 / rank @@
+Normal rank
@@ Property / cites work @@
+ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES
+Normal rank
@@ Property / cites work @@
+CERES in higher-order logic
@@ Property / cites work: CERES in higher-order logic / rank @@
+Normal rank
@@ Property / cites work @@
+Herbrand Sequent Extraction
@@ Property / cites work: Herbrand Sequent Extraction / rank @@
+Normal rank
@@ Property / cites work @@
+Understanding Resolution Proofs through Herbrand’s Theorem
+Normal rank
@@ Property / cites work @@
+Expansion trees with cut
@@ Property / cites work: Expansion trees with cut / rank @@
+Normal rank
@@ Property / cites work @@
+A compact representation of proofs
@@ Property / cites work: A compact representation of proofs / rank @@
+Normal rank
@@ Property / cites work @@
+Q3338233
@@ Property / cites work: Q3338233 / rank @@
+Normal rank