Hybrid interactive theorem proving using nuprl and HOL (Q5234717): Difference between revisions

@@ Property / cites work @@
+Q4040283
@@ Property / cites work: Q4040283 / rank @@
+Normal rank
@@ Property / cites work @@
+Cache coherency in SCI: Specification and a sketch of correctness
+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 @@
+Q5287513
@@ Property / cites work: Q5287513 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4375633
@@ Property / cites work: Q4375633 / rank @@
+Normal rank
@@ Property / cites work @@
+A proof of strong normalization for \(F_ 2\), \(F_ \omega\), and beyond
+Normal rank
@@ Property / cites work @@
+Isabelle. A generic theorem prover
@@ Property / cites work: Isabelle. A generic theorem prover / rank @@
+Normal rank