Nao Hirokawa;阿尔特·米德尔多普;哈拉尔德·赞克 不急于终止。 （英语） 兹比尔1182.68094 Cervesato，Iliano（编辑）等人，《编程逻辑、人工智能和推理》。2008年11月22日至27日在卡塔尔多哈举行的2008年LPAR第15届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-89438-4/pbk）。计算机科学课堂讲稿5330。《人工智能讲义》，667-681（2008）。 摘要：一阶应用项重写系统为高阶方面建模提供了一个自然的框架。本文提出了一种从非类型应用词重写系统到保留和反映终止的函数词重写系统的转换。与其他方法相比，我们的转换没有那么严格。特别是，可以处理重写规则右侧的head变量。为了进一步提高转换的适用性，我们提供了依赖项对的版本。关于整个系列，请参见[Zbl 1154.68007号]. 引用于7文件 MSC公司： 2012年第68季度 语法和重写系统 PDF格式BibTeX公司 XML格式引用 \textit{N.Hirokawa}等人，Lect。注释计算。科学。5330667--681（2008年；Zbl 1182.68094） 全文： 内政部