Partial correctness of a power algorithm (Q2337338): Difference between revisions

@@ Property / cites work @@
+The role of the Mizar mathematical library for interactive proof development in Mizar
+Normal rank
@@ Property / cites work @@
+Q5584402
@@ Property / cites work: Q5584402 / rank @@
+Normal rank
@@ Property / cites work @@
+Four decades of {\textsc{Mizar}}. Foreword
@@ Property / cites work: Four decades of {\textsc{Mizar}}. Foreword / rank @@
+Normal rank
@@ Property / cites work @@
+An axiomatic basis for computer programming
@@ Property / cites work: An axiomatic basis for computer programming / rank @@
+Normal rank
@@ Property / cites work @@
+Simple-named complex-valued nominative data -- definition and basic operations
+Normal rank
@@ Property / cites work @@
+Implementation of the composition-nominative approach to program formalization in Mizar
+Normal rank
@@ Property / cites work @@
+On an algorithmic algebra over simple-named complex-valued nominative data
+Normal rank
@@ Property / cites work @@
+An inference system of an extension of Floyd-Hoare logic for partial predicates
+Normal rank
@@ Property / cites work @@
+Partial correctness of GCD algorithm
@@ Property / cites work: Partial correctness of GCD algorithm / rank @@
+Normal rank
@@ Property / cites work @@
+On algebras of algorithms and specifications over uninterpreted data
+Normal rank
@@ Property / cites work @@
+Kleene algebra of partial predicates
@@ Property / cites work: Kleene algebra of partial predicates / rank @@
+Normal rank
@@ Property / cites work @@
+Proving properties of programs on hierarchical nominative data
+Normal rank