Add to ORKGFirst, we show with two examples that in test semirings with an incomplete test algebra a domain operation may or may not exist. Second, we show that two notions of separability in test semirings coincide, respectively, with locality of composition and with extensionality of the diamond operators in domain semirings. We conclude with a brief comparison of dynamic algebras and modal Kleene algebras
We enrich Kleene algebra by domain and codomain operators. These abstractions of relational notions ...
Kleene algebras are an important class of algebraic structures that arise in diverse areas of comput...
Abstract. We axiomatise and study operations for relational domain and antidomain on semigroups and ...
First, we show with two examples that in test semirings with an incomplete test algebra a domain ope...
We investigate modal algebras that arise by adding operations of domain and antidomain to semirings ...
Restriction semigroups model algebras of partial maps under composition and domain. Here we consider...
AbstractNew axioms for domain operations on semirings and Kleene algebras are proposed. They general...
Algebraic structures, such as modal idempotent semirings or Kleene algebras, offer a large variety of...
Domain operations on semirings have been axiomatised in two different ways: by a map from an additiv...
We refute, by a counterexample, the conjecture that in a test semiring with complete lattice a domai...
We refute, by a counterexample, the conjecture that in a test semiring with complete lattice a domai...
Modal Kleene algebra is Kleene algebra enriched by forward and backward box and diamond operators. W...
Due to their increasing complexity, today’s computer systems are studied using multiple models and f...
We enrich Kleene algebra by domain and codomain operators. These abstractions of relational notions ...
Let R be an associative ring. We define a subset SR of R as SR = [a ? R | aRa = (0)] and call it the...
We enrich Kleene algebra by domain and codomain operators. These abstractions of relational notions ...
Kleene algebras are an important class of algebraic structures that arise in diverse areas of comput...
Abstract. We axiomatise and study operations for relational domain and antidomain on semigroups and ...
First, we show with two examples that in test semirings with an incomplete test algebra a domain ope...
We investigate modal algebras that arise by adding operations of domain and antidomain to semirings ...
Restriction semigroups model algebras of partial maps under composition and domain. Here we consider...
AbstractNew axioms for domain operations on semirings and Kleene algebras are proposed. They general...
Algebraic structures, such as modal idempotent semirings or Kleene algebras, offer a large variety of...
Domain operations on semirings have been axiomatised in two different ways: by a map from an additiv...
We refute, by a counterexample, the conjecture that in a test semiring with complete lattice a domai...
We refute, by a counterexample, the conjecture that in a test semiring with complete lattice a domai...
Modal Kleene algebra is Kleene algebra enriched by forward and backward box and diamond operators. W...
Due to their increasing complexity, today’s computer systems are studied using multiple models and f...
We enrich Kleene algebra by domain and codomain operators. These abstractions of relational notions ...
Let R be an associative ring. We define a subset SR of R as SR = [a ? R | aRa = (0)] and call it the...
We enrich Kleene algebra by domain and codomain operators. These abstractions of relational notions ...
Kleene algebras are an important class of algebraic structures that arise in diverse areas of comput...
Abstract. We axiomatise and study operations for relational domain and antidomain on semigroups and ...