TY  - JOUR

T1  - On the expressive power of Kleene algebra with domain

JO  - Information Processing Letters

PY  - 2015/11/11

AU  - Struth G

ED  - 

DO  - DOI: 10.1016/j.ipl.2015.11.007

VL  - 116

IS  - 4

SP  - 284

EP  - 288

Y2  - 2024/12/25

ER  -