罗伯托·布鲁尼;何塞·梅塞盖尔 广义重写理论。 （英语） Zbl 1039.03020号 Baeten，Jos C.M.（编辑）等人，《自动化，语言和编程》。2003年6月30日至7月4日在荷兰埃因霍温举行的第30届国际学术讨论会。诉讼程序。柏林：施普林格出版社（ISBN 3-540-40493-7/pbk）。莱克特。注释计算。科学。2719, 252-266 (2003). 摘要：自十多年前引入重写逻辑以来，重写逻辑吸引了理论家和实践者的兴趣，他们在展示其作为语义和逻辑框架以及作为编程范式的通用性方面做出了贡献。这些年进行的实验表明，对逻辑最初定义的一些重要扩展在实践中非常有用。特别是，Maude系统现在支持数据的等式逻辑中的子启动和条件，还支持冻结参数以阻止不希望的嵌套重写；此外，它允许在规则条件中进行平等和成员资格断言。本文详细介绍了这种广义重写理论的推理规则、模型理论和完备性。有关整个系列，请参见[Zbl 1029.00041号]. 引用于15文件 MSC公司： 03B70号 计算机科学中的逻辑 68号30 软件工程的数学方面（规范、验证、度量、需求等） 2012年第68季度 语法和重写系统 软件：莫德;OBJ咖啡馆 PDF格式BibTeX公司 XML格式引用 \textit{R.Bruni}和\textit{J.Meseguer}，莱克特。注释计算。科学。2719、252--266（2003年；Zbl 1039.03020） 全文： 链接