On the expressive power of Kleene algebra with domain (Q903368): Difference between revisions

@@ Property / DOI @@
-.1016/j.ipl.2015.11.007
@@ Property / DOI: 10.1016/j.ipl.2015.11.007 / rank @@
-Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W1007073359
@@ Property / OpenAlex ID: W1007073359 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.07246
@@ Property / arXiv ID: 1507.07246 / 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 @@
+Kleene algebra with domain
@@ Property / cites work: Kleene algebra with domain / rank @@
+Normal rank
@@ Property / cites work @@
+Internal axioms for domain semirings
@@ Property / cites work: Internal axioms for domain semirings / rank @@
+Normal rank
@@ Property / cites work @@
+Q4362921
@@ Property / cites work: Q4362921 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebras of modal operators and partial correctness
+Normal rank
@@ Property / cites work @@
+Domain Axioms for a Family of Near-Semirings
@@ Property / cites work: Domain Axioms for a Family of Near-Semirings / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.IPL.2015.11.007
@@ Property / DOI: 10.1016/J.IPL.2015.11.007 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:903368