乔治·莫瑟 KBO、序数、次递归层次结构等等。 （英语） Zbl 1361.68113号 J.日志。计算。 27，第2期，469-495（2017）. 摘要：我们研究了与Knuth-Bendix序相容的项重写系统的复杂性，如果重写系统的签名可能是无限的。我们证明，如果重写系统满足一些温和的条件，则派生高度的已知边界基本上保持不变。这使我们能够获得非隐式终止重写系统的推导高度的界限。作为推论，我们重新建立了与Knuth-Bendix阶相容的有限重写系统的导子复杂度的本质最优2-递归上界。此外，我们将我们的主要结果与广义Knuth-Bendix阶的结果以及最近关于超限Knuth-Bendix阶方面的结果联系起来。 引用于1文件 MSC公司： 2012年第68季度 语法和重写系统 03D20日 递归函数和关系、子递归层次结构 关键词：Knuth-Bendix订单；复杂性；术语重写系统；序数；次递归层次结构 软件：蒂罗尔（Tyrolean） PDF格式BibTeX公司 XML格式引用 \textit{G.Moser}，J.Log。计算。27，第2号，469--495（2017；Zbl 1361.68113） 全文： 内政部 链接