On algebras of algorithms and specifications over uninterpreted data (Q2311521): Difference between revisions

@@ Property / cites work @@
+The role of the Mizar mathematical library for interactive proof development in Mizar
+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 @@
+On Representations of Abstract Systems with Partial Inputs and Outputs
+Normal rank
@@ Property / cites work @@
+On Local Characterization of Global Timed Bisimulation for Abstract Continuous-Time Systems
+Normal rank
@@ Property / cites work @@
+Event-based proof of the mutual exclusion property of Peterson's algorithm
+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 @@
+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