Reduction relations for monoid semirings

详细信息	查看全文 | 推荐本文 |

• 作者：Otto ; Friedrich ; Sokratova ; Olga
• 关键词：Semiring ; Congruence ; Rewriting system ; Reduction relation ; Termination ; Confluence ; Critical pair
• 刊名：Journal of Symbolic Computation
• 出版年：2004
• 期刊代码：140_07477171
• 类别：cp
• 出版时间：March, 2004
• 卷：37
• 期：3
• 页码：343-376
• 文件大小：407 K

摘要

In this paper we study rewriting techniques for monoid semirings. Based on disjoint and non-disjoint representations of the elements of monoid semirings we define two different reduction relations. We prove that in both cases the reduction relation describes the congruence that is induced by the underlying set of equations, and we study the termination and confluence properties of the reduction relations.