Implementation and Evaluation of Contextual Natural Deduction for Minimal Logic (Q3179185): Difference between revisions

@@ Property / cites work @@
+Sledgehammer: Judgement Day
@@ Property / cites work: Sledgehammer: Judgement Day / rank @@
+Normal rank
@@ Property / cites work @@
+Compression of Propositional Resolution Proofs by Lowering Subproofs
+Normal rank
@@ Property / cites work @@
+Computer Science Logic
@@ Property / cites work: Computer Science Logic / rank @@
+Normal rank
@@ Property / cites work @@
+An Algorithmic Interpretation of a Deep Inference System
+Normal rank
@@ Property / cites work @@
+On the proof complexity of deep inference
@@ Property / cites work: On the proof complexity of deep inference / rank @@
+Normal rank
@@ Property / cites work @@
+A Quasipolynomial Cut-Elimination Procedure in Deep Inference via Atomic Flows and Threshold Formulae
+Normal rank
@@ Property / cites work @@
+Two Techniques for Minimizing Resolution Proofs
@@ Property / cites work: Two Techniques for Minimizing Resolution Proofs / rank @@
+Normal rank
@@ Property / cites work @@
+Q3467531
@@ Property / cites work: Q3467531 / rank @@
+Normal rank
@@ Property / cites work @@
+Compression of Propositional Resolution Proofs via Partial Regularization
+Normal rank
@@ Property / cites work @@
+Towards the Compression of First-Order Resolution Proofs by Lowering Unit Clauses
+Normal rank
@@ Property / cites work @@
+Towards Algorithmic Cut-Introduction
@@ Property / cites work: Towards Algorithmic Cut-Introduction / rank @@
+Normal rank
@@ Property / cites work @@
+Herbrand Sequent Extraction
@@ Property / cites work: Herbrand Sequent Extraction / rank @@
+Normal rank
@@ Property / cites work @@
+Contextual Natural Deduction
@@ Property / cites work: Contextual Natural Deduction / rank @@
+Normal rank
@@ Property / cites work @@
+Reducing redundancy in cut-elimination by resolution
+Normal rank
@@ Property / cites work @@
+Resolution proof transformation for compression and interpolation
+Normal rank
@@ Property / cites work @@
+A Local System for Intuitionistic Logic
@@ Property / cites work: A Local System for Intuitionistic Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Atomic Cut Introduction by Resolution: Proof Structuring and Compression
+Normal rank