Kleene algebra with domain

J. Desharnais, B. Möller, G. Struth

We propose Kleene algebra with domain (KAD), an extension of Kleene algebra with two equational axioms for a domain and a codomain operation, respectively. KAD considerably augment…