论文信息 - DECIDABILITY OF SECOND-ORDER THEORIES AND AUTOMATA ON INFINITE TREES - 字舞流文

DECIDABILITY OF SECOND-ORDER THEORIES AND AUTOMATA ON INFINITE TREES

[1] A. Grzegorczyk. Undecidability of Some Topological Theories , 1951 .

[2] J. R. Büchi. On a Decision Method in Restricted Second Order Arithmetic , 1990 .

[3] S. Sieber. On a decision method in restricted second-order arithmetic , 1960 .