|
|
Публикации в базе данных Math-Net.Ru
-
Аддитивные системы представления чисел: несколько замечаний
Программные системы: теория и приложения, 8:4 (2017), 101–115
-
Использование локализации и переполнения для управления параллельными и распределёнными вычислениями
Программные системы: теория и приложения, 8:3 (2017), 87–107
-
О некоторых возможностях локальных вычислений в теории систем и базах данных
Программные системы: теория и приложения, 7:4 (2016), 145–160
-
Рациональные агенты для случая управления сверхбольшими базами данных как взаимодействующие вероятностные автоматы
Программные системы: теория и приложения, 6:1 (2015), 99–108
-
О представлении действительных чисел
Программные системы: теория и приложения, 5:4 (2014), 105–121
-
Алгебраический подход к управлению
Пробл. управл., 2013, № 6, 2–14
-
Рефлексирующие программные системы
Сиб. журн. индустр. матем., 4:1 (2001), 22–28
-
Семантика алгоритмических языков
Итоги науки и техн. Сер. Теор. вероятн. Мат. стат. Теор. кибернет., 20 (1983), 95–166
-
О некоторых возможностях применения конструктивного анализа к классическому
Докл. АН СССР, 266:2 (1982), 284–287
-
К теории синтеза программ
Тр. Ин-та математики, 2 (1982), 159–175
-
Соотношение между правилами естественного вывода и операторами алгоритмических языков высокого уровня
Докл. АН СССР, 239:3 (1978), 526–529
-
Язык $\Delta$ с интуиционистскими связками
Докл. АН СССР, 220:1 (1975), 41–43
-
Язык $\Delta$ со слабой трехзначной логикой
Докл. АН СССР, 219:6 (1974), 1325–1327
-
Об одном обобщении иерархии Клини–Мостовского
Докл. АН СССР, 212:2 (1973), 295–297
-
Соотношение предикативной осмысленности и интуиции всеобщности
Докл. АН СССР, 212:1 (1973), 40–43
-
Новое понятие предикативной истинности и определимости
Матем. заметки, 13:5 (1973), 735–745
-
О вложениях булевых алгебр в алгебру Линденбаума–Тарского
Докл. АН СССР, 199:1 (1971), 23–25
-
Математик и прикладник: о взаимо(не)понимании
Вестн. Удмуртск. ун-та. Матем., 2007, № 1, 251–268
© , 2024