Pages that link to "Item:Q624383"
From MaRDI portal
The following pages link to Axiomatizability of representable domain algebras (Q624383):
Displayed 13 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)
- Domain range semigroups and finite representations (Q2695374) (← links)
- On the variety generated by generalized subreducts of Tarski's algebras of relations (Q6053400) (← links)
- On the complexity of Kleene algebra with domain (Q6174424) (← links)