Pages that link to "Item:Q624383"
From MaRDI portal
The following pages link to Axiomatizability of representable domain algebras (Q624383):
Displayed 10 items.
- 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)
- On algebras of binary relations with conjunctive operations (Q2036387) (← links)
- Free Kleene algebras with domain (Q2210872) (← links)
- On Jónsson's problem for groupoids of relations with operation of binary cylindrification (Q2217780) (← links)
- How to generalise demonic composition (Q2227636) (← links)
- Monoids with tests and the algebra of possibly non-halting programs (Q2258843) (← links)
- On classes of generalized subreducts of Tarski's relation algebras with one Diophantine binary operation (Q2304501) (← links)
- Ordered domain algebras (Q2446547) (← links)
- Axioms for signatures with domain and demonic composition (Q2663185) (← links)