The following pages link to (Q4175285):
Displaying 7 items.
- Finite representability of semigroups with demonic refinement (Q829757) (← links)
- Algebraization of quantifier logics, an introductory overview (Q1189899) (← links)
- Domain and range for angelic and demonic compositions (Q1734512) (← links)
- On generalized subreducts of Tarski's algebras of relations with the operation of bi-directional intersection (Q1800460) (← links)
- Ordered domain algebras (Q2446547) (← links)
- Axioms for signatures with domain and demonic composition (Q2663185) (← links)
- Domain and Range Operations in Semigroups and Rings (Q3448274) (← links)