Domain and range for angelic and demonic compositions

10/30/2018
by   Marcel Jackson, et al.
0

We give finite axiomatizations for the varieties generated by representable domain--range algebras when the semigroup operation is interpreted as angelic or demonic composition, respectively.

READ FULL TEXT

Please sign up or login with your details

Forgot password? Click here to reset