Pages that link to "Item:Q975885"

The following pages link to The axiomatization of override and update (Q975885):

Displaying 10 items.

• A non-commutative Priestley duality. (Q390415) (← links)
• The algebra of functions with antidomain and range (Q908324) (← 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)
• Residuated skew lattices (Q2198201) (← links)
• Override and update (Q2200953) (← links)
• How to generalise demonic composition (Q2227636) (← links)
• Skew lattices and binary operations on functions (Q2446546) (← links)
• My journey into noncommutative lattices and their theory (Q5198035) (← links)
• Override and restricted union for partial functions (Q6595122) (← links)