马克·贝泽姆（编辑）；扬·威廉·克鲁普（编辑）；de Vrijer，罗埃尔（编辑） 特雷斯。术语重写系统。 （英语） 兹比尔1030.68053 剑桥理论计算机科学丛书55.剑桥：剑桥大学出版社（ISBN 0-521-39115-6/hbk）。第二十二、884页。(2003). 这本书对今天所知的改写内容进行了相当全面的概述。在这里，重写是一种非常广义的理解。本书涵盖的主题包括抽象、一阶、高阶和图形重写。除了经典的可判定性结果外，还提出了现代方法来证明终止和合流，无论是对于一阶重写还是高阶重写。特别强调可能的非终止重写关系。这里的关键概念是正交性。这里的证明概念相当深刻和抽象，包括残差和后代、平行移动、发展、用初等图拼接和归纳证明。关于归约等价和层次的两章对一阶项重写中的正交性进行了更高级的处理。这本书介绍了重写技术的最新水平，它在非常精确的水平上提供（或散布）证据，并提示了结果的历史来源和进一步的阅读。因此，强烈建议从事这方面工作的研究人员使用。审核人：Jürgen Avenhaus（凯泽斯劳滕） 引用于2评论引用于245文件 MSC公司： 2012年第68季度 语法和重写系统 68-02 与计算机科学有关的研究展览会（专著、调查文章） 关键词：抽象重写；一阶重写；高阶重写 PDF格式BibTeX公司 XML格式引用 \textit{M.Bezem}（编辑）等人，特雷塞。术语重写系统。剑桥：剑桥大学出版社（2003；Zbl 1030.68053）