×

高阶迭代路径排序。 (英语) Zbl 1182.68096号

Cervesato,Iliano(编辑)等人,《编程逻辑、人工智能和推理》。2008年11月22日至27日在卡塔尔多哈举行的2008年LPAR第15届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-89438-4/pbk)。计算机科学课堂讲稿5330。人工智能课堂讲稿,697-711(2008)。
摘要:Jouannaud和Rubio定义的高阶递归路径排序(HORPO)提供了一种证明高阶重写终止的方法。我们通过一个辅助项重写系统,按照Bergstra和Klop最初提出的方法,提出了HORPO的迭代版本。我们研究了迭代定义的充分性,讨论了它与原HORPO的关系,并指出了加强排序的可能方法。
关于整个系列,请参见[Zbl 1154.68007号].

MSC公司:

2012年第68季度 语法和重写系统
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接