Pages that link to "Item:Q908324"
From MaRDI portal
The following pages link to The algebra of functions with antidomain and range (Q908324):
Displaying 14 items.
- The axiomatization of override and update (Q975885) (← links)
- Classes of finite relations as initial abstract data types. I (Q1179266) (← links)
- Domain and range for angelic and demonic compositions (Q1734512) (← links)
- A categorical duality for algebras of partial functions (Q2031546) (← links)
- Difference-restriction algebras of partial functions with operators: discrete duality and completion (Q2136931) (← links)
- Difference-restriction algebras of partial functions: axiomatisations and representations (Q2153921) (← links)
- Override and update (Q2200953) (← links)
- Algebras of multiplace functions for signatures containing antidomain (Q2411690) (← links)
- (Q2707263) (← links)
- The finite representation property for composition, intersection, domain and range (Q2828345) (← links)
- Complete representation by partial functions for composition, intersection and anti-domain (Q3133160) (← links)
- (Q5086246) (← links)
- Preservation theorems for Tarski's relation algebra (Q6635502) (← links)
- Complete representation by partial functions for signatures containing antidomain restriction (Q6660942) (← links)
