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

@@ Property / MaRDI profile type @@
+Publication
@@ Property / MaRDI profile type: Publication / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.entcs.2008.06.005
+Normal rank
@@ Property / OpenAlex ID @@
+W1993315725
@@ Property / OpenAlex ID: W1993315725 / rank @@
+Normal rank
@@ 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