4 citations · 6 across the 3 of their papers we have counts for
4 papers
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…
Ordered Monoids: Languages and Relations
Szabolcs Mikulas
We give a finite axiomatization for the variety generated by relational, integral ordered monoids. As a corollary we get a finite axiomatization for the language interpretation as…
The finite representation property for composition, intersection, domain and range
Brett McLean, Szabolcs Mikulás
We prove that the finite representation property holds for representation by partial functions for the signature consisting of composition, intersection, domain and range and for a…
The algebra of functions with antidomain and range
Robin Hirsch, Marcel Jackson, Szabolcs Mikulás
We give complete, finite quasiequational axiomatisations for algebras of unary partial functions under the operations of composition, domain, antidomain, range and intersection. Th…