Rabin M. ...


Rabin M.
[1969]
Decidability of second order theories and automata on infinite trees
Trans. Amer. Math. Soc., 141, № 7 , 1-35 (Русский перевод в Киберн. сб., 8, 72-116.)
70.90.332
OG
article

Вернуться к поиску