史蒂文·艾克 大型关联交换重写。 （英语） Zbl 1038.68560号 Nieuwenhuis，Robert（编辑），重写技术和应用。2003年6月9日至11日在西班牙巴伦西亚举行的RTA 2003第14届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 3-540-40254-3/pbk）。莱克特。注释计算。科学。2706，14-29（2003年）。 摘要：我们介绍了一种新的关联交换（AC）项表示法，对于某些重要的重写规则类，该表示法允许AC匹配和AC重整化步骤都可以使用所涉及的平坦AC参数列表大小的对数时间和空间来完成。对于其他更通用的算法和操作，这种新颖的表示可能会很麻烦。因此，我们描述了机器效率高的技术，用于转换为更传统的表示形式，以及用于在运行时决定何时将术语转换为新表示形式的启发式方法。我们概述了如何将我们的方法推广到有序AC重写和其他等式理论。我们还使用Maude 2解释器给出了一些实验结果。关于整个系列，请参见[Zbl 1029.00060号]. 引用于11文件 MSC公司： 2012年第68季度 语法和重写系统 软件：莫德 PDF格式BibTeX公司 XML格式引用 \textit{S.Eker}，莱克特。注释计算。科学。2706、14-29（2003年；Zbl 1038.68560） 全文： 链接