TY  - JOUR

T1  - Kleene algebra with domain

JO  - ACM T COMPUT LOG

PY  - 2006/10/01

AU  - Desharnais J

AU  - Moller B

AU  - Struth G

ED  - 

VL  - 7

IS  - 4

SP  - 798

EP  - 833

Y2  - 2024/12/22

ER  -