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