TY  - JOUR

T1  - Determinism of multirelations

JO  - Journal of Logical and Algebraic Methods in Programming

UR  - http://dx.doi.org/10.1016/j.jlamp.2024.100976

PY  - 2024/06/01

AU  - Furusawa H

AU  - Guttmann W

AU  - Struth G

ED  - 

DO  - DOI: 10.1016/j.jlamp.2024.100976

PB  - Elsevier BV

VL  - 139

SP  - 100976

EP  - 100976

Y2  - 2024/12/25

ER  -