The following pages link to Domain and Antidomain Semigroups (Q3651509):
Displayed 8 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)
- Taming Multirelations (Q5278188) (← links)