31 citations · 32 across the 3 of their papers we have counts for
1 paper · 1 filter
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…