Modal Tools for Separation and Refinement (Q5403464): Difference between revisions

@@ Property / cites work @@
+System Description: Spass Version 3.0
@@ Property / cites work: System Description: Spass Version 3.0 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3783521
@@ Property / cites work: Q3783521 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2744124
@@ Property / cites work: Q2744124 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2721093
@@ Property / cites work: Q2721093 / 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 @@
+Modal Semirings Revisited
@@ Property / cites work: Modal Semirings Revisited / rank @@
+Normal rank
@@ Property / cites work @@
+A calculational approach to mathematical induction
+Normal rank
@@ Property / cites work @@
+On the union of well-founded relations
@@ Property / cites work: On the union of well-founded relations / rank @@
+Normal rank
@@ Property / cites work @@
+Relational and Kleene-Algebraic Methods in Computer Science
+Normal rank
@@ Property / cites work @@
+Non-termination in Idempotent Semirings
@@ Property / cites work: Non-termination in Idempotent Semirings / 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 @@
+Abstract abstract reduction
@@ Property / cites work: Abstract abstract reduction / rank @@
+Normal rank
@@ Property / cites work @@
+Towards a refinement algebra
@@ Property / cites work: Towards a refinement algebra / rank @@
+Normal rank