山田，Toshiyuki 简单类型术语重写系统的合并和终止。 （英语） Zbl 0981.68061号 Middeldorp，Aart（编辑），重写技术和应用。2001年5月22日至24日在荷兰乌得勒支举行的RTA 2001第12届国际会议。诉讼程序。柏林：斯普林格。勒克特。注释计算。科学。2051, 338-352 (2001). 摘要：我们提出了简单类型项重写系统（STTRS），它通过允许高阶函数来扩展一阶重写。我们研究了一种简单的汇流证明方法，该方法利用了平行约化的钻石性质的特征。通过应用证明方法，我们得到了正交条件STTRS的一个新的收敛结果。我们还讨论了基于单调解释的STTRS终止性的语义证明方法。关于整个系列，请参见[Zbl 0967.00070号]. 引用于2评论引用于6文件 MSC公司： 2012年第68季度 语法和重写系统 PDF格式BibTeX公司 XML格式引用 \textit{T.Yamada}，莱克特。注释计算。科学。2051、338--352（2001；Zbl 0981.68061） 全文： 链接