The Abella Interactive Theorem Prover (System Description) (Q3541698): Difference between revisions

@@ Property / cites work @@
+Theorem Proving in Higher Order Logics
@@ Property / cites work: Theorem Proving in Higher Order Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Least and Greatest Fixed Points in Linear Logic
@@ Property / cites work: Least and Greatest Fixed Points in Linear Logic / rank @@
+Normal rank
@@ Property / cites work @@
+The Abella Interactive Theorem Prover (System Description)
+Normal rank
@@ Property / cites work @@
+Reasoning in Abella about Structural Operational Semantics Specifications
+Normal rank
@@ Property / cites work @@
+Reasoning with higher-order abstract syntax in a logical framework
+Normal rank
@@ Property / cites work @@
+Q2767057
@@ Property / cites work: Q2767057 / rank @@
+Normal rank
@@ Property / cites work @@
+Uniform proofs as a foundation for logic programming
+Normal rank
@@ Property / cites work @@
+A proof theory for generic judgments
@@ Property / cites work: A proof theory for generic judgments / rank @@
+Normal rank
@@ Property / cites work @@
+Logic Programming
@@ Property / cites work: Logic Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Intensional interpretations of functionals of finite type I
+Normal rank
@@ Property / cites work @@
+Q2871856
@@ Property / cites work: Q2871856 / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Deduction – CADE-20
@@ Property / cites work: Automated Deduction – CADE-20 / rank @@
+Normal rank