The following pages link to Domain and Antidomain Semigroups (Q3651509):
Displayed 12 items.
- Determinisation of relational substitutions in ordered categories with domain (Q604457) (← links)
- Axiomatizability of representable domain algebras (Q624383) (← links)
- The algebra of functions with antidomain and range (Q908324) (← links)
- Monoids of non-halting programs with tests (Q1646607) (← links)
- Domain and range for angelic and demonic compositions (Q1734512) (← links)
- Monoids with tests and the algebra of possibly non-halting programs (Q2258843) (← links)
- Ordered domain algebras (Q2446547) (← links)
- Catoids and modal convolution algebras (Q2686581) (← links)
- \( \ell r\)-multisemigroups, modal quantales and the origin of locality (Q2695347) (← links)
- Domain range semigroups and finite representations (Q2695374) (← links)
- A Hierarchy of Algebras for Boolean Subsets (Q5098719) (← links)
- Taming Multirelations (Q5278188) (← links)