Kleisli, Parikh and Peleg compositions and liftings for multirelations
Under an Elsevier user license
open archive
Keywords
Algebras of multirelations
Liftings of multirelations
Associativity of compositions of multirelations
Relational calculus
Cited by (0)
© 2017 Elsevier Inc.