Login / Signup
Kleisli, Parikh and Peleg compositions and liftings for multirelations.
Hitoshi Furusawa
Yasuo Kawahara
Georg Struth
Norihiro Tsumagari
Published in:
J. Log. Algebraic Methods Program. (2017)
Keyphrases
</>
real time
software engineering