Библиография Лаврова И.А.


Rabin M.
[1968]
Decidability of second order theories and automata on infinite trees
Bull. Amer. Math. Soc., 74, № 5, 1025-1029
70.08.81
O
article

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