Публикации в базе данных Math-Net.Ru
-
Конструктивное построение теории множеств. I. Порядковые и кардинальные числа
Препринты ИПМ им. М. В. Келдыша, 2010, 001, 19 стр.
-
Математика, метаматематика и истина
Препринты ИПМ им. М. В. Келдыша, 2006, 077, 32 стр.
-
О нижних оценках времени вычислений
Дискрет. матем., 2:1 (1990), 142–154
-
О некоторых семантических характеристиках машин Тьюринга
Докл. АН СССР, 224:2 (1975), 301–304
-
О направленных преобразованиях формул
Матем. заметки, 6:6 (1969), 663–668
-
О тождественных преобразованиях регулярных выражений
Докл. АН СССР, 147:2 (1962), 327–330
-
О матричных схемах
Докл. АН СССР, 113:2 (1957), 283–286
-
О равносильности и преобразованиях схем программ
Докл. АН СССР, 113:1 (1957), 39–42
-
P. Д. Нельсон. Введение в автоматы. Рецензия
Ж. вычисл. матем. и матем. физ., 9:1 (1969), 254–255
© , 2024