Domain and Antidomain Semigroups
From MaRDI portal
Publication:3651509
DOI10.1007/978-3-642-04639-1_6zbMath1267.03067MaRDI 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
03G25: Other algebras related to logic
Related Items
Taming Multirelations, Determinisation of relational substitutions in ordered categories with domain, Axiomatizability of representable domain algebras, The algebra of functions with antidomain and range, Monoids of non-halting programs with tests, Domain and range for angelic and demonic compositions, Monoids with tests and the algebra of possibly non-halting programs, Ordered domain algebras
Uses Software