论文信息 - Second-order Ehrenfeucht games and the deciability of the second-order theory of an equivalence relation - 字舞流文

Second-order Ehrenfeucht games and the deciability of the second-order theory of an equivalence relation

Richard L. Tenney

[1] M. Rabin. Decidability of second-order theories and automata on infinite trees. , 1969 .

[2] A. Ehrenfeucht. An application of games to the completeness problem for formalized theories , 1961 .

[3] A. Janiczak,et al. Undecidability of some simple formalized theories , 1953 .