TY  - JOUR

T1  - Kleene algebra with domain

JO  - CoRR

PY  - 2006/10/01

AU  - Desharnais J

AU  - Möller B

AU  - Struth G

ED  - 

VL  - cs.LO/0310054

Y2  - 2024/12/22

ER  -