Kleisli, Parikh and Peleg compositions and liftings for multirelations (Q2360654)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Kleisli, Parikh and Peleg compositions and liftings for multirelations |
scientific article |
Statements
Kleisli, Parikh and Peleg compositions and liftings for multirelations (English)
0 references
4 July 2017
0 references
algebras of multirelations
0 references
liftings of multirelations
0 references
associativity of compositions of multirelations
0 references
relational calculus
0 references
