首页> 外文OA文献 >Constraint Solving for Term Orderings Compatible with Abelian Semigroups, Monoids and Groups

【2h】

Constraint Solving for Term Orderings Compatible with Abelian Semigroups, Monoids and Groups

机译：与Abelian半群，monoid和群兼容的项排序的约束求解

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Guillem Godoy; Robert Nieuwenhuis;
展开▼
作者单位

展开▼
年度 2007
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Special ideals in partial abelian monoids [J] . YU Zhi-jian, CHO Min-hyung, WU Jun-de 高校应用数学学报：英文版 . 2010,第001期
2. Constraint Solving for Term Orderings Compatible with Abelian Semigroups, Monoids and Groups [J] . GUILLEM GODOY, ROBERT NIEUWENHUIS Constraints . 2004,第3期

机译：与Abelian半群，monoid和群兼容的词序的约束求解
3. The term orderings which are compatible with composition II [J] . Jinwang Liu, Zhuojun Liu, Mingsheng Wang urnal of Symbolic Computation . 2003,第2期

机译：与组合II兼容的术语订购
4. Extending reduction orderings to ACU-compatible reduction orderings [J] . Uwe Waldmann Information Processing Letters . 1998,第1期

机译：将归约顺序扩展到与ACU兼容的归约顺序
5. On ordering constraints for deduction with built-in Abelian semigroups, monoids and groups [C] . Godoy, G., Nieuwenhuis, . 2001

机译：关于使用内在Abelian半群，monoid和群进行演绎的排序约束
6. Free Semigroups and Identites for a Class of Monoids [D] . Salcido, Enrique. 2020

机译：免费的半群和一类长嘴的身份
7. A characterization of finite abelian groups via sets of lengths in transfer Krull monoids [O] . Qinghai Zhong -1

机译：通过传递Krull单面体中的长度集来刻画有限阿贝尔群
8. ABELIAN KERNELS, SOLVABLE MONOIDS AND THE ABELIAN KERNEL LENGTH OF A FINITE MONOID [O] . Manuel Delgado, Vítor H. Fernandes 2003

机译：aBELIaN KERNELs，可解单元和有限单元的aBELIaN核能长度
9. Embedding of an LA-Semigroup in a Commutative Monoid [R] . Mushtaq, Q. 1985

机译：在交换幺半群中嵌入一个La-半群

Constraint Solving for Term Orderings Compatible with Abelian Semigroups, Monoids and Groups

著录项

引文网络

相似文献

相关主题

期刊订阅