Browsing by Subject "Kleene algebra with domain"

Now showing items 1-1 of 1

  • Modal restriction semigroups: towards an algebra of functions

    Jackson, Marcel; Stokes, Tim E. (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 ...