arXiv subjects

Szabolcs Mikulas

Publications and source records attributed to Szabolcs Mikulas.

2 recordsLinked to original sources

arXiv2018

Domain and range for angelic and demonic compositions

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.

cs.LO↗

arXiv2017

Ordered Monoids: Languages and Relations

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 well.

math.LO↗