Algebraic notions of nontermination: Omega and divergence in idempotent semirings (Q604456): Difference between revisions

@@ Property / cites work @@
+Fixed-point calculus
@@ Property / cites work: Fixed-point calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q4289659
@@ Property / cites work: Q4289659 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2721093
@@ Property / cites work: Q2721093 / rank @@
+Normal rank
@@ Property / cites work @@
+Kleene algebra with domain
@@ Property / cites work: Kleene algebra with domain / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic Notions of Termination
@@ Property / cites work: Algebraic Notions of Termination / rank @@
+Normal rank
@@ Property / cites work @@
+Modal Semirings Revisited
@@ Property / cites work: Modal Semirings Revisited / rank @@
+Normal rank
@@ Property / cites work @@
+Theory Is Forever
@@ Property / cites work: Theory Is Forever / rank @@
+Normal rank
@@ Property / cites work @@
+Methods and applications of (max,+) linear algebra
+Normal rank
@@ Property / cites work @@
+Automated Reasoning in Kleene Algebra
@@ Property / cites work: Automated Reasoning in Kleene Algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Regular expressions and the equivalence of programs
+Normal rank
@@ Property / cites work @@
+Q3358736
@@ Property / cites work: Q3358736 / rank @@
+Normal rank
@@ Property / cites work @@
+A completeness theorem for Kleene algebras and the algebra of regular events
+Normal rank
@@ Property / cites work @@
+Q4202947
@@ Property / cites work: Q4202947 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebras of modal operators and partial correctness
+Normal rank
@@ Property / cites work @@
+Q3907077
@@ Property / cites work: Q3907077 / rank @@
+Normal rank
@@ Property / cites work @@
+Dynamic algebras: Examples, constructions, applications
+Normal rank
@@ Property / cites work @@
+Q5596826
@@ Property / cites work: Q5596826 / rank @@
+Normal rank
@@ Property / cites work @@
+Abstract abstract reduction
@@ Property / cites work: Abstract abstract reduction / rank @@
+Normal rank
@@ Property / cites work @@
+Modal Tools for Separation and Refinement
@@ Property / cites work: Modal Tools for Separation and Refinement / rank @@
+Normal rank
@@ Property / cites work @@
+Towards a refinement algebra
@@ Property / cites work: Towards a refinement algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Q4002149
@@ Property / cites work: Q4002149 / rank @@
+Normal rank