19 citations · 81 across the 20 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
cs.LO2018★ 2 cited
Domain and range for angelic and demonic compositions
Marcel Jackson, Szabolcs Mikulas
We give finite axiomatizations for the varieties generated by representable domain--range algebras when the semigroup operation is interpreted as angelic or demonic composition, re…
math.GR2018★ 2 cited
Algebras defined by equations
Peter M Higgins, Marcel Jackson
We show that a class of algebras is closed under the taking of homomorphic images and direct products if and only if the class consists of all algebras that satisfy a set of (gener…