Axiomatizability of representable domain algebras (Q624383): Difference between revisions

@@ Property / author @@
-Robin Hirschl
@@ Property / author: Robin Hirschl / rank @@
-Normal rank
@@ Property / author @@
+Robin Hirschl
@@ Property / author: Robin Hirschl / 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.jlap.2010.07.019
+Normal rank
@@ Property / OpenAlex ID @@
+W1981419337
@@ Property / OpenAlex ID: W1981419337 / rank @@
+Normal rank
@@ Property / cites work @@
+Representations of distributive lattice-ordered semigroups with binary relations
+Normal rank
@@ Property / cites work @@
+Model theory.
@@ Property / cites work: Model theory. / rank @@
+Normal rank
@@ Property / cites work @@
+Domain and Antidomain Semigroups
@@ Property / cites work: Domain and Antidomain Semigroups / rank @@
+Normal rank
@@ Property / cites work @@
+Modal Semirings Revisited
@@ Property / cites work: Modal Semirings Revisited / 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 @@
+Equational properties of Kleene algebras of relations with conversion
+Normal rank
@@ Property / cites work @@
+Relation algebras by games
@@ Property / cites work: Relation algebras by games / rank @@
+Normal rank
@@ Property / cites work @@
+Representable semilattice-ordered monoids
@@ Property / cites work: Representable semilattice-ordered monoids / rank @@
+Normal rank
@@ Property / cites work @@
+Axiomatizability of reducts of algebras of relations
+Normal rank
@@ Property / cites work @@
+An equational axiomatization of dynamic negation and relational composition
+Normal rank
@@ Property / cites work @@
+Q4218938
@@ Property / cites work: Q4218938 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3358736
@@ Property / cites work: Q3358736 / rank @@
+Normal rank
@@ Property / cites work @@
+On Hoare logic and Kleene algebra with tests
@@ Property / cites work: On Hoare logic and Kleene algebra with tests / rank @@
+Normal rank
@@ Property / cites work @@
+On the Representation of Kleene Algebras with Tests
+Normal rank
@@ Property / cites work @@
+Relation algebras
@@ Property / cites work: Relation algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Classical and new paradigms of computation and their complexity hierarchies. Papers of the conference ``Foundations of the formal sciences III'', Vienna, Austria, September 21-24, 2001.
+Normal rank
@@ Property / cites work @@
+Algebras of modal operators and partial correctness
+Normal rank
@@ Property / cites work @@
+Q4273477
@@ Property / cites work: Q4273477 / rank @@
+Normal rank
@@ Property / cites work @@
+Dynamic algebras: Examples, constructions, applications
+Normal rank
@@ Property / cites work @@
+Q4011733
@@ Property / cites work: Q4011733 / rank @@
+Normal rank