Browsing by Subject "Kleene algebra with domain"
Now showing items 1-1 of 1
(World Science, 2011)Restriction semigroups model algebras of partial maps under composition and domain. Here we consider restriction semigroups for which the usual Boolean operations on domains are modeled. Such algebras are capable of modeling ...