On the Church-Rosser property for the direct sum of term rewriting systems
On the Church-Rosser property for the direct sum of term rewriting systems
复制标题
项重写系统直和的 Church-Rosser 性质
DOI：
--
复制
发表时间：
1984
期刊：
影响因子：
--
通讯作者：
Y. Toyama
中科院分区：
文献类型：
--
作者：
Y. Toyama
两个项重写系统的直和是具有不相交函数符号集的系统的并集。结果表明，如果两个术语重写系统都具有 Chruch-Rosser 性质，则这些系统的直和也具有该性质。
The direct sum of two term rewriting systems is the union of systems having disjoint sets of function symbols. It is shown that if two term rewriting systems both have the Chruch-Rosser property, then the direct sum of these systems also has this property.