...
机译:与Abelian半群,monoid和群兼容的词序的约束求解
Technical University of Catalonia, Dept. LSI, Jordi Girona 1, 08034 Barcelona, Spain;
symbolic constraints; term orderings; automated deduction; built-in theories;
机译:与组合II兼容的术语订购
机译:将归约顺序扩展到与ACU兼容的归约顺序
机译:关于简单阿贝尔Mono半群的同调半群
机译:关于使用内在Abelian半群,monoid和群进行演绎的排序约束
机译:免费的半群和一类长嘴的身份
机译:通过传递Krull单面体中的长度集来刻画有限阿贝尔群
机译:与Abelian半群,monoid和群兼容的项排序的约束求解
机译:在交换幺半群中嵌入一个La-半群