Relational Formalisations of Compositions and Liftings of Multirelations

DOI10.1007/978-3-319-24704-5_6zbMath1471.68124OpenAlexW2268530562MaRDI QIDQ3460618

Yasuo Kawahara, Norihiro Tsumagari, Georg Struth, Hitoshi Furusawa

Publication date: 8 January 2016

Published in: Relational and Algebraic Methods in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-24704-5_6

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Relational systems, laws of composition (08A02)

Related Items (2)

Kleisli, Parikh and Peleg compositions and liftings for multirelations ⋮ An algebraic approach to multirelations and their properties

This page was built for publication: Relational Formalisations of Compositions and Liftings of Multirelations