TY  - JOUR

T1  - Congruence from the operator’s point of view

JO  - Acta Informatica

PY  - 2020/10/01

AU  - Gazda M

AU  - Fokkink W

AU  - Massaro V

ED  - 

DO  - DOI: 10.1007/s00236-019-00355-5

PB  - Springer Science and Business Media LLC

VL  - 57

IS  - 3-5

SP  - 329

EP  - 351

Y2  - 2024/09/19

ER  -