Publications in Math-Net.Ru
-
Consructive Building of Set Theory. I. Ordinal and Cardinal Numbers
Keldysh Institute preprints, 2010, 001, 19 pp.
-
Mathematics, metamathematics and truth
Keldysh Institute preprints, 2006, 077, 32 pp.
-
Lower bounds on computation time
Diskr. Mat., 2:1 (1990), 142–154
-
On some semantic characteristics of Turing machines
Dokl. Akad. Nauk SSSR, 224:2 (1975), 301–304
-
On directed transformations of formulas
Mat. Zametki, 6:6 (1969), 663–668
-
On identical transformations of regular expressions
Dokl. Akad. Nauk SSSR, 147:2 (1962), 327–330
-
On matrix schemes
Dokl. Akad. Nauk SSSR, 113:2 (1957), 283–286
-
On equivalency and transformations of program schemes
Dokl. Akad. Nauk SSSR, 113:1 (1957), 39–42
-
Introduction to automata: R. J. Nelson. xii+400 pp. John Wiley and Sons, Inc. New York–London–Sydney, 1968
Zh. Vychisl. Mat. Mat. Fiz., 9:1 (1969), 254–255
© , 2024