The following pages link to Taming Multirelations (Q5278188):
Displaying 4 items.
- An algebraic approach to multirelations and their properties (Q516032) (← links)
- Kleisli, Parikh and Peleg compositions and liftings for multirelations (Q2360654) (← links)
- Differential Hoare Logics and Refinement Calculi for Hybrid Systems with Isabelle/HOL (Q5098720) (← links)
- Determinism of multirelations (Q6561345) (← links)
