Domain and Antidomain Semigroups
From MaRDI portal
Publication:3651509
DOI10.1007/978-3-642-04639-1_6zbMath1267.03067OpenAlexW1511558928MaRDI QIDQ3651509
Georg Struth, Jules Desharnais, Peter Jipsen
Publication date: 11 December 2009
Published in: Relations and Kleene Algebra in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-04639-1_6
Related Items (12)
Taming Multirelations ⋮ Monoids of non-halting programs with tests ⋮ Determinisation of relational substitutions in ordered categories with domain ⋮ A Hierarchy of Algebras for Boolean Subsets ⋮ Axiomatizability of representable domain algebras ⋮ Catoids and modal convolution algebras ⋮ The algebra of functions with antidomain and range ⋮ \( \ell r\)-multisemigroups, modal quantales and the origin of locality ⋮ Domain range semigroups and finite representations ⋮ Ordered domain algebras ⋮ Domain and range for angelic and demonic compositions ⋮ Monoids with tests and the algebra of possibly non-halting programs
Uses Software
This page was built for publication: Domain and Antidomain Semigroups