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

@@ Property / describes a project that uses @@
+Mizar
@@ Property / describes a project that uses: Mizar / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.2478/forma-2019-0018
+Normal rank
@@ Property / OpenAlex ID @@
+W2964266122
@@ Property / OpenAlex ID: W2964266122 / rank @@
+Normal rank
@@ 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
@@ Property / Wikidata QID @@
+Q127453021
@@ Property / Wikidata QID: Q127453021 / rank @@
+Normal rank