The following pages link to Override and update (Q2200953):
Displaying 6 items.
- Partial updates (Q555785) (← links)
- The axiomatization of override and update (Q975885) (← 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)
- Skew lattices and binary operations on functions (Q2446546) (← links)
- Override and restricted union for partial functions (Q6595122) (← links)
