A Taste of Rewrite Systems
A Taste of Rewrite Systems
复制标题
DOI：
10.1007/3-540-56883-2_11
复制
发表时间：
1993
期刊：
影响因子：
--
通讯作者：
N. Dershowitz
中科院分区：
文献类型：
--
作者：
N. Dershowitz
这篇关于重写方程的理论和应用的调查讨论了范式的存在性和唯一性，KnuthBenzinger完成过程及其变化，以及基于重写的（功能和逻辑）编程和（方程，一阶和归纳）定理证明。普通的，联想交换和条件重写都包括在内。目前的研究领域进行了总结，并提供了广泛的参考书目。
This survey of the theory and applications of rewriting with equations discusses the existence and uniqueness of normal forms, the KnuthBendix completion procedure and its variations, as well as rewriting-based (functional and logic) programming and (equational, first-order, and inductive) theorem proving. Ordinary, associative-commutative, and conditional rewriting are covered. Current areas of research are summarized and an extensive bibliography is provided.