H·J·桑德·布鲁金克。 高阶重写中的残差。 （英语） Zbl 1038.68071号 Nieuwenhuis，Robert（编辑），《重写技术与应用》。2003年6月9日至11日在西班牙巴伦西亚举行的RTA 2003第14届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 3-540-40254-3/pbk）。勒克特。注释计算。科学。2706, 123-137 (2003). 摘要：研究了各种改写形式的残差，定义了残差系统以在抽象环境中捕获残差。本文研究正交模式重写系统（PRS）中的残差。首先，通过高阶重写逻辑定义重写关系，并定义见证约简的证明项。然后，我们有形式化的机制来定义PRS的剩余算子，并且我们将证明与上述剩余算子一起的正交PRS是一个剩余系统。作为一种副作用，（抽象）残差理论的所有结果都被正交PRS继承，例如合流和约简的置换等价概念。关于整个系列，请参见[Zbl 1029.00060号]. 引用于2文件 MSC公司： 2012年第68季度 语法和重写系统 PDF格式BibTeX公司 XML格式引用 \textit{H.J.Sander Bruggink}，莱克特。注释计算。科学。2706、123--137（2003年；Zbl 1038.68071） 全文： 链接