休伯特·科蒙·隆德;斯特凡尼德劳恩 有限变分性质：如何去掉一些代数性质。 （英语） Zbl 1078.68059号 Giesl，Jürgen（编辑），术语重写和应用。2005年4月19日至21日在日本奈良举行的RTA 2005第16届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 3-540-25596-6/pbk）。计算机科学课堂讲稿3467294-307（2005）。 摘要：我们考虑以下问题：给定一个项（t），一个重写系统（mathcal R），一组有限的方程（E’），使得（Mathcar R）收敛，计算有限多个（t:t{1}，dots，t{n}）实例，使得对于每一个替换（sigma），都有一个索引（i）和一个替换这样，\（t\sigma\mathord\downarrow{={E'}}\mathord t_i\theta\）（其中\（t\sigma\mathord\downarrow）是\（t\ sigma \）w.r.t.\（\ to_{E'{\setminus}\mathcal r}\）的正规形式）。本文的目标是给出有限变量性质的等价（充分）条件，并系统地研究与安全协议验证相关的方程理论的这一性质。例如，我们证明了有限变性质适用于阿贝尔群和模幂理论，而不适用于ACUNh（缔合性、交换性、单位、幂零性、同态）理论。关于整个系列，请参见[Zbl 1070.68002号]. 引用于2评论引用于44文件 MSC公司： 2012年第68季度 语法和重写系统 PDF格式BibTeX公司 XML格式引用 \textit{H.Comon-Lundh}和\textit{S.Delaune}，莱克特。票据计算。科学。3467294-307（2005年；兹比尔1078.68059） 全文： 内政部