TY  - JOUR

T1  - Relational and algebraic methods in computer science

JO  - Journal of Logical and Algebraic Methods in Programming

PY  - 2019/08/01

AU  - Höfner P

AU  - Pous D

AU  - Struth G

ED  - 

DO  - DOI: 10.1016/j.jlamp.2019.05.005

PB  - Elsevier BV

VL  - 106

SP  - 198

EP  - 199

Y2  - 2024/12/25

ER  -