Pages that link to "Item:Q3112579"

The following pages link to MODAL RESTRICTION SEMIGROUPS: TOWARDS AN ALGEBRA OF FUNCTIONS (Q3112579):

Displaying 21 items.

• The algebra of functions with antidomain and range (Q908324) (← links)
• Domain and range for angelic and demonic compositions (Q1734512) (← links)
• A categorical duality for algebras of partial functions (Q2031546) (← links)
• \((\mathscr{F},\mathscr{G})\)-abundant semigroups (Q2070985) (← 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)
• Left restriction monoids from left \(E\)-completions (Q2161143) (← links)
• Varieties of regular semigroups with uniquely defined inversion (Q2178386) (← links)
• Override and update (Q2200953) (← links)
• How to generalise demonic composition (Q2227636) (← links)
• Monoids with tests and the algebra of possibly non-halting programs (Q2258843) (← links)
• Algebras of multiplace functions for signatures containing antidomain (Q2411690) (← links)
• Skew lattices and binary operations on functions (Q2446546) (← links)
• The finite representation property for composition, intersection, domain and range (Q2828345) (← links)
• Domain and Range Operations in Semigroups and Rings (Q3448274) (← links)
• Undecidability of representability as binary relations (Q4899169) (← links)
• Algebraic properties of <tt>if-then-else</tt> and commutative three-valued tests (Q4968241) (← links)
• (Q5086246) (← links)
• Override and restricted union for partial functions (Q6595122) (← links)
• Preservation theorems for Tarski's relation algebra (Q6635502) (← links)
• Complete representation by partial functions for signatures containing antidomain restriction (Q6660942) (← links)