摘要：(omega^omega^i,+)和(omega^i,<)的一阶理论和单调二阶理论的可判定性的新的简单证明，并改进了两种情况下的复杂度。我们的算法基于树自动机和一种通过（无限）树来表示（集合的）序数的新方法。
作者：Thierry Cachat (LIAFA)
论文ID：cs/0610166
分类：Computer Science and Game Theory
分类简称：cs.GT
提交时间：2007-05-23
PDF 下载： 英文版 中文版pdf翻译中