迈克尔·奥·拉宾。 无限树上二阶理论和自动机的可判定性。 （英语） Zbl 0221.02031 事务处理。美国数学。Soc公司。 141, 1-35 (1969). 页码：24/35−5 −4 −3 −2 −1 ±0 +1 +2 +3个 +4 +5 显示扫描页面 引用于18评论引用于375文件 MSC公司： 03B25号 理论和句子集的可判定性 05年3月 与逻辑问题相关的自动机和形式文法 关键词：231.02056 PDF格式BibTeX公司 XML格式引用 \textit{M.O.拉宾}，翻译。美国数学。Soc.141，1--35（1969年；Zbl 0221.02031） 全文： DOI程序 欧几里得