Modal Semirings Revisited (Q3521996): Difference between revisions

@@ Property / cites work @@
+Q4809080
@@ Property / cites work: Q4809080 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5841991
@@ Property / cites work: Q5841991 / rank @@
+Normal rank
@@ Property / cites work @@
+Demonic Algebra with Domain
@@ Property / cites work: Demonic Algebra with Domain / rank @@
+Normal rank
@@ Property / cites work @@
+Q5437872
@@ Property / cites work: Q5437872 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4673439
@@ Property / cites work: Q4673439 / rank @@
+Normal rank
@@ Property / cites work @@
+Kleene algebra with domain
@@ Property / cites work: Kleene algebra with domain / rank @@
+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 / cites work @@
+Theory Is Forever
@@ Property / cites work: Theory Is Forever / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Reasoning in Kleene Algebra
@@ Property / cites work: Automated Reasoning in Kleene Algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Q3965241
@@ Property / cites work: Q3965241 / rank @@
+Normal rank
@@ Property / cites work @@
+Boolean Algebras with Operators. Part I
@@ Property / cites work: Boolean Algebras with Operators. Part I / rank @@
+Normal rank
@@ Property / cites work @@
+A completeness theorem for Kleene algebras and the algebra of regular events
+Normal rank
@@ Property / cites work @@
+Kleene modules and linear languages
@@ Property / cites work: Kleene modules and linear languages / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Science Logic
@@ Property / cites work: Computer Science Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Using Probabilistic Kleene Algebra for Protocol Verification
+Normal rank
@@ Property / cites work @@
+Algebras of modal operators and partial correctness
+Normal rank
@@ Property / cites work @@
+Automated theorem proving by resolution in non-classical logics
+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