Persistency of Confluence
Persistency of Confluence
复制标题
融合的持久性
DOI：
10.3217/jucs-003-11-1134
复制
发表时间：
1997
期刊：
影响因子：
--
通讯作者：
Y. Toyama
中科院分区：
文献类型：
--
作者：
Takahito Aoto;Y. Toyama
TRS的性质P被称为是持久的，如果对于任何多排序的TRS hF; Ri，hF; Ri具有性质P ii，其基础的未排序的TRS h（F）;（R）i具有性质P。这里将显示连续性的持久性。这可以通过对连接的模块性证明进行简单的修改来获得，其细节在本报告中给出。
A property P of TRSs is said to be persistent if for any many-sorted TRS hF; Ri, hF; Ri has the property P ii its underlying unsorted TRS h(F); (R)i has the property P. Here denotes the sort elimination function. Persistency of connuence will be shown here. This can be obtained by a straightforward modiication of the proof of modularity of connuence, whose details are given in this report.