DECIDABILITY OF SECOND-ORDER THEORIES AND AUTOMATA ON INFINITE TREES

被引：763

作者：

RABIN, MO

机构：

来源：

关键词：

D O I：

10.2307/1995086

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

页码：1 / &

共 17 条

[1] DECISION METHODS IN THEORY OF ORDINALS [J].

BUCHI, JR .

[2]

BUCHI JR, 1962, 1960 P INT C LOG MET, P1

[3]

Doner J. E., 1965, NOT AM MATH SOC, V12, P819

[4]

Ehrenfeucht A., 1959, NOT AM MATH SOC, V6, P268

[5]

ERSHOV YL, 1964, ALGEBRA LOGIKA SEM, V3, P5

[6]

GALE D, 1953, ANN MATH STUD, P245

[7]

Grzegorczyk A., 1951, FUND MATH, V38, P137

[8]

LAUCHLI H, 1968, CONTRIBUTIONS MATHEM, P187

[9]

MCNAUGHTON R, 1966, TESTING GENERATING I, V9, P521

[10]

MULLER DE, 1963, 4TH P IEEE ANN S SWI, P3