Non-associative Kleene Algebra and Temporal Logics (Q5283205): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2608888986
@@ Property / OpenAlex ID: W2608888986 / rank @@
+Normal rank
@@ Property / cites work @@
+ITERATION ALGEBRAS
@@ Property / cites work: ITERATION ALGEBRAS / rank @@
+Normal rank
@@ Property / cites work @@
+Q5639639
@@ Property / cites work: Q5639639 / rank @@
+Normal rank
@@ Property / cites work @@
+Characterizing determinacy in Kleene algebras
@@ Property / cites work: Characterizing determinacy in Kleene algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Non-associative Kleene Algebra and Temporal Logics
+Normal rank
@@ Property / cites work @@
+Kleene algebra with domain
@@ Property / cites work: Kleene algebra with domain / rank @@
+Normal rank
@@ Property / cites work @@
+Computation calculus bridging a formalization gap
@@ Property / cites work: Computation calculus bridging a formalization gap / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385542
@@ Property / cites work: Q4385542 / rank @@
+Normal rank
@@ Property / cites work @@
+A completeness theorem for Kleene algebras and the algebra of regular events
+Normal rank
@@ Property / cites work @@
+Some results in dynamic model theory
@@ Property / cites work: Some results in dynamic model theory / rank @@
+Normal rank
@@ Property / cites work @@
+Mathematics of Program Construction
@@ Property / cites work: Mathematics of Program Construction / rank @@
+Normal rank
@@ Property / cites work @@
+Kleene getting lazy
@@ Property / cites work: Kleene getting lazy / rank @@
+Normal rank
@@ Property / cites work @@
+Exploring an Interface Model for CKA
@@ Property / cites work: Exploring an Interface Model for CKA / rank @@
+Normal rank
@@ Property / cites work @@
+Quantales and Temporal Logics
@@ Property / cites work: Quantales and Temporal Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q3996704
@@ Property / cites work: Q3996704 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5287518
@@ Property / cites work: Q5287518 / rank @@
+Normal rank