Three Chapters of Measure Theory in Isabelle/HOL (Q3088003): Difference between revisions

@@ Property / cites work @@
+Measure and integration theory. Transl. from the German by Robert B. Burckel
+Normal rank
@@ Property / cites work @@
+Local Theory Specifications in Isabelle/Isar
@@ Property / cites work: Local Theory Specifications in Isabelle/Isar / rank @@
+Normal rank
@@ Property / cites work @@
+Theorem Proving in Higher Order Logics
@@ Property / cites work: Theorem Proving in Higher Order Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4484343
@@ Property / cites work: Q4484343 / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic guarded commands mechanized in HOL
@@ Property / cites work: Probabilistic guarded commands mechanized in HOL / rank @@
+Normal rank
@@ Property / cites work @@
+On the Formalization of the Lebesgue Integration Theory in HOL
+Normal rank
@@ Property / cites work @@
+Theorem Proving in Higher Order Logics
@@ Property / cites work: Theorem Proving in Higher Order Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Measures, Integrals and Martingales
@@ Property / cites work: Measures, Integrals and Martingales / rank @@
+Normal rank