Публикации в базе данных Math-Net.Ru
-
PDA with independent counters
Модел. и анализ информ. систем, 22:2 (2015), 176–196
-
О сложности верификации недетерминированных вероятностных мультиагентных систем
Модел. и анализ информ. систем, 17:4 (2010), 41–50
-
Вероятностные мультиагентные системы: семантика и верификация
Вестник ТвГУ. Серия: Прикладная математика, 2008, № 11, 9–22
-
О сложности относительных вычислений
Докл. АН СССР, 214:5 (1974), 999–1001
-
О невозможности элиминации полного перебора при вычислении функций относительно их графиков
Докл. АН СССР, 189:4 (1969), 748–751
-
Михаил Абрамович Тайцлин (1936–2013)
Сиб. электрон. матем. изв., 10 (2013), 54–65
-
Поправки к статье “О сложности относительных вычислений” (ДАН, т. 214, № 5, 1974 г.)
Докл. АН СССР, 218:3 (1974), 10
© , 2024