4 citations · 6 across the 3 of their papers we have counts for
1 paper · 2 filters
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…