Q5005105 (Q5005105): Difference between revisions

@@ Property / cites work @@
+Logic Programming with Focusing Proofs in Linear Logic
+Normal rank
@@ Property / cites work @@
+Rewrite-based Equational Theorem Proving with Selection and Simplification
+Normal rank
@@ Property / cites work @@
+Q2751353
@@ Property / cites work: Q2751353 / rank @@
+Normal rank
@@ Property / cites work @@
+Superdeduction at Work
@@ Property / cites work: Superdeduction at Work / rank @@
+Normal rank
@@ Property / cites work @@
+Experimenting with Deduction Modulo
@@ Property / cites work: Experimenting with Deduction Modulo / rank @@
+Normal rank
@@ Property / cites work @@
+Cut Admissibility by Saturation
@@ Property / cites work: Cut Admissibility by Saturation / rank @@
+Normal rank
@@ Property / cites work @@
+Regaining cut admissibility in deduction modulo using abstract completion
+Normal rank
@@ Property / cites work @@
+Handbook of proof theory
@@ Property / cites work: Handbook of proof theory / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Deduction – CADE-20
@@ Property / cites work: Automated Deduction – CADE-20 / rank @@
+Normal rank
@@ Property / cites work @@
+A logical characterization of forward and backward chaining in the inverse method
+Normal rank
@@ Property / cites work @@
+The Proof Certifier Checkers
@@ Property / cites work: The Proof Certifier Checkers / rank @@
+Normal rank
@@ Property / cites work @@
+Foundational Proof Certificates in First-Order Logic
+Normal rank
@@ Property / cites work @@
+Q4736827
@@ Property / cites work: Q4736827 / rank @@
+Normal rank
@@ Property / cites work @@
+Truth Values Algebras and Proof Normalization
@@ Property / cites work: Truth Values Algebras and Proof Normalization / rank @@
+Normal rank
@@ Property / cites work @@
+Polarized Resolution Modulo
@@ Property / cites work: Polarized Resolution Modulo / rank @@
+Normal rank
@@ Property / cites work @@
+Theorem proving modulo
@@ Property / cites work: Theorem proving modulo / rank @@
+Normal rank
@@ Property / cites work @@
+Proof normalization modulo
@@ Property / cites work: Proof normalization modulo / rank @@
+Normal rank
@@ Property / cites work @@
+Term Rewriting and Applications
@@ Property / cites work: Term Rewriting and Applications / rank @@
+Normal rank
@@ Property / cites work @@
+Resolution is cut-free
@@ Property / cites work: Resolution is cut-free / rank @@
+Normal rank
@@ Property / cites work @@
+Focusing and polarization in linear, intuitionistic, and classical logics
+Normal rank
@@ Property / cites work @@
+Imogen: Focusing the Polarized Inverse Method for Intuitionistic Propositional Logic
+Normal rank
@@ Property / cites work @@
+Focused Labeled Proof Systems for Modal Logic
@@ Property / cites work: Focused Labeled Proof Systems for Modal Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q5541351
@@ Property / cites work: Q5541351 / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic Theorem Proving With Renamable and Semantic Resolution
+Normal rank
@@ Property / cites work @@
+Efficiency and Completeness of the Set of Support Strategy in Theorem Proving
+Normal rank