Pages that link to "Item:Q406449"
From MaRDI portal
The following pages link to Multirelations with infinite computations (Q406449):
Displaying 7 items.
- An algebraic approach to multirelations and their properties (Q516032) (← links)
- Modelling angelic and demonic nondeterminism with multirelations (Q870278) (← links)
- Infinite executions of lazy and strict computations (Q2347906) (← links)
- Kleisli, Parikh and Peleg compositions and liftings for multirelations (Q2360654) (← links)
- Relational computation of sets of relations (Q2695345) (← links)
- A Relation-Algebraic Approach to Multirelations and Predicate Transformers (Q2941166) (← links)
- Column-Wise Extendible Vector Expressions and the Relational Computation of Sets of Sets (Q2941178) (← links)