Büchi J.R. ...


Büchi J.R.
[1960]
Weak second order arithmetic and finite automata
Z. math. Logik und Grundl. Math., 6, № 1, 66-92 (Русский перевод в Киберн. сборнике , 1964, № 8, 42-47.)
61.03.93
article

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