The following pages link to The algebra of multirelations (Q4925034):
Displaying 7 items.
- An algebraic approach to multirelations and their properties (Q516032) (← links)
- The algebra of many-valued quantities (Q1565450) (← links)
- Kleisli, Parikh and Peleg compositions and liftings for multirelations (Q2360654) (← links)
- A Relation-Algebraic Approach to Multirelations and Predicate Transformers (Q2941166) (← links)
- Synthesis of Strategies Using the Hoare Logic of Angelic and Demonic Nondeterminism (Q2974777) (← links)
- (Q3714214) (← links)
- Relation algebra with multi-relations (Q4256050) (← links)