The following pages link to Override and update (Q2200953):
Displaying 3 items.
- 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 restricted union for partial functions (Q6595122) (← links)
