TY  - JOUR

T1  - Relations and Kleene algebras in computer science

JO  - J LOGIC ALGEBR PROGR

PY  - 2010/11/01

AU  - Berghammer R

AU  - Moller B

AU  - Struth G

ED  - 

DO  - DOI: 10.1016/j.jlap.2010.07.011

VL  - 79

IS  - 8

SP  - 705

EP  - 706

Y2  - 2024/12/25

ER  -