加载中…
2017-04-05
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 well.
讨论
0讲解博客
生成讲解博客的中文版本
AI智能校验
生成AI智能校验的中文版本