TY  - JOUR

T1  - Algebraic coherent confluence and higher globular Kleene algebras

JO  - Logical Methods in Computer Science

UR  - http://dx.doi.org/10.46298/lmcs-18(4:9)2022

PY  - 2022/11/28

AU  - Calk C

AU  - Goubault E

AU  - Malbos P

AU  - Struth G

ED  - 

DO  - DOI: 10.46298/lmcs-18(4:9)2022

PB  - Centre pour la Communication Scientifique Directe (CCSD)

VL  - Volume 18, Issue 4

Y2  - 2024/12/25

ER  -