Providing a formal linkage between MDG and HOL (Q878110): Difference between revisions

@@ Property / cites work @@
+Q4790649
@@ Property / cites work: Q4790649 / rank @@
+Normal rank
@@ Property / cites work @@
+Programming a Symbolic Model Checker in a Fully Expansive Theorem Prover
+Normal rank
@@ Property / cites work @@
+Q4484331
@@ Property / cites work: Q4484331 / rank @@
+Normal rank
@@ Property / cites work @@
+Graph-Based Algorithms for Boolean Function Manipulation
+Normal rank
@@ Property / cites work @@
+Q3021905
@@ Property / cites work: Q3021905 / rank @@
+Normal rank
@@ Property / cites work @@
+Demonstrating the cognitive plausability of interactive system specifications
+Normal rank
@@ Property / cites work @@
+Toward compiler implementation correctness proofs
@@ Property / cites work: Toward compiler implementation correctness proofs / rank @@
+Normal rank
@@ Property / cites work @@
+Q4475266
@@ Property / cites work: Q4475266 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2729073
@@ Property / cites work: Q2729073 / rank @@
+Normal rank
@@ Property / cites work @@
+Edinburgh LCF. A mechanized logic of computation
@@ Property / cites work: Edinburgh LCF. A mechanized logic of computation / rank @@
+Normal rank
@@ Property / cites work @@
+Q2754043
@@ Property / cites work: Q2754043 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5287513
@@ Property / cites work: Q5287513 / rank @@
+Normal rank
@@ Property / cites work @@
+A Skeptic's approach to combining HOL and Maple
@@ Property / cites work: A Skeptic's approach to combining HOL and Maple / rank @@
+Normal rank
@@ Property / cites work @@
+Q3136296
@@ Property / cites work: Q3136296 / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Technology for Verification and Analysis
+Normal rank
@@ Property / cites work @@
+Q5687569
@@ Property / cites work: Q5687569 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4536588
@@ Property / cites work: Q4536588 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4790648
@@ Property / cites work: Q4790648 / rank @@
+Normal rank
@@ Property / cites work @@
+A machine-checked implementation of Buchberger's algorithm
+Normal rank
@@ Property / cites work @@
+Q4518869
@@ Property / cites work: Q4518869 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4737561
@@ Property / cites work: Q4737561 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4945213
@@ Property / cites work: Q4945213 / rank @@
+Normal rank