森林，朱利安;迪莉娅·凯斯纳 具有模式的表达式简化系统。 （英语） Zbl 1038.68064号 Nieuwenhuis，Robert（编辑），重写技术和应用。2003年6月9日至11日在西班牙巴伦西亚举行的RTA 2003第14届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 3-540-40254-3/pbk）。莱克特。注释计算。科学。2706, 107-122 (2003). 摘要：我们引入了一种新的高阶重写形式，称为带模式的表达式约简系统，其中不仅允许对变量进行抽象，还允许对嵌套模式进行抽象。这些模式是通过将标准代数模式与用于表示抽象参数所允许的不同可能结构的选择构造函数相结合来构建的。换句话说，经典重写形式固有的不同重写规则之间的非确定性选择可以提升到模式的层次。我们证明了合流适用于一类合理的系统和术语。有关整个系列，请参见[Zbl 1029.00060号]. 引用于1文件 MSC公司： 2012年第68季度 语法和重写系统 PDF格式BibTeX公司 XML格式引用 \textit{J.Forest}和\textit{D.Kesner}，莱克特。注释计算。科学。2706、107-122（2003年；Zbl 1038.68064） 全文： 链接