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

@@ 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-2018-0011
+Normal rank
@@ Property / OpenAlex ID @@
+W2907318475
@@ Property / OpenAlex ID: W2907318475 / rank @@
+Normal rank
@@ 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
@@ Property / Wikidata QID @@
+Q128651680
@@ Property / Wikidata QID: Q128651680 / rank @@
+Normal rank