Domain Axioms for a Family of Near-Semirings (Q5505433): Difference between revisions

@@ Property / cites work @@
+Reasoning algebraically about loops
@@ Property / cites work: Reasoning algebraically about loops / rank @@
+Normal rank
@@ Property / cites work @@
+Q2760242
@@ Property / cites work: Q2760242 / rank @@
+Normal rank
@@ Property / cites work @@
+Kleene algebra with domain
@@ Property / cites work: Kleene algebra with domain / rank @@
+Normal rank
@@ Property / cites work @@
+Modal Semirings Revisited
@@ Property / cites work: Modal Semirings Revisited / rank @@
+Normal rank
@@ Property / cites work @@
+A Non-probabilistic Relational Model of Probabilistic Kleene Algebras
+Normal rank
@@ Property / cites work @@
+The basic algebra of game equivalences
@@ Property / cites work: The basic algebra of game equivalences / rank @@
+Normal rank
@@ Property / cites work @@
+On Hoare logic and Kleene algebra with tests
@@ Property / cites work: On Hoare logic and Kleene algebra with tests / rank @@
+Normal rank
@@ Property / cites work @@
+Using probabilistic Kleene algebra pKA for protocol verification
+Normal rank
@@ Property / cites work @@
+Kleene getting lazy
@@ Property / cites work: Kleene getting lazy / rank @@
+Normal rank
@@ Property / cites work @@
+Q3671335
@@ Property / cites work: Q3671335 / rank @@
+Normal rank
@@ Property / cites work @@
+Refinement Algebra with Operators for Enabledness and Termination
+Normal rank
@@ Property / cites work @@
+Towards a refinement algebra
@@ Property / cites work: Towards a refinement algebra / rank @@
+Normal rank