Internal axioms for domain semirings (Q627202): Difference between revisions

@@ Property / DOI @@
-.1016/j.scico.2010.05.007
@@ Property / DOI: 10.1016/j.scico.2010.05.007 / rank @@
-Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.scico.2010.05.007
+Normal rank
@@ Property / OpenAlex ID @@
+W2001616837
@@ Property / OpenAlex ID: W2001616837 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5331549
@@ Property / cites work: Q5331549 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraizable logics
@@ Property / cites work: Algebraizable logics / 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 @@
+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 @@
+Automated Reasoning in Kleene Algebra
@@ Property / cites work: Automated Reasoning in Kleene Algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Automated verification of refinement laws
@@ Property / cites work: Automated verification of refinement laws / rank @@
+Normal rank
@@ Property / cites work @@
+The Structure of the One-Generated Free Domain Semiring
+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 @@
+Q4362921
@@ Property / cites work: Q4362921 / rank @@
+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 @@
+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 @@
+Modal Tools for Separation and Refinement
@@ Property / cites work: Modal Tools for Separation and Refinement / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Reasoning
@@ Property / cites work: Automated Reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+The TPTP problem library. CNF release v1. 2. 1
@@ Property / cites work: The TPTP problem library. CNF release v1. 2. 1 / rank @@
+Normal rank
@@ Property / cites work @@
+Towards a refinement algebra
@@ Property / cites work: Towards a refinement algebra / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.SCICO.2010.05.007
@@ Property / DOI: 10.1016/J.SCICO.2010.05.007 / rank @@
+Normal rank