The following pages link to Brett McLean (Q2031545):
Displaying 16 items.
- 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)
- Free Kleene algebras with domain (Q2210872) (← links)
- Algebras of multiplace functions for signatures containing antidomain (Q2411690) (← 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)
- Temporal Logic of Minkowski Spacetime (Q5027245) (← links)
- The temporal logic of two-dimensional Minkowski spacetime with slower-than-light accessibility is decidable (Q5224575) (← links)
- Disjoint-union partial algebras (Q5278076) (← links)
- (Q5884961) (← links)
- Difference-restriction algebras of partial functions: axiomatisations and representations (Q6354924) (← links)
- Difference-restriction algebras of partial functions with operators: discrete duality and completion (Q6354961) (← links)
- Preservation theorems for Tarski's relation algebra (Q6635502) (← links)
- Complete representation by partial functions for signatures containing antidomain restriction (Q6660942) (← links)
- Gödel-Dummett linear temporal logic (Q6665714) (← links)
