Снятков Алексей Сергеевич

Публикации в базе данных Math-Net.Ru

1. Нижняя граница времени для разрешения теории с функцией экспоненты
   
   Вестник ТвГУ. Серия: Прикладная математика, 2012, № 2,  5–10
2. Разрешимость теории $\mathrm{Th}(\omega,0,1,<,+,f_0,\dots,f_n)$
   
   Модел. и анализ информ. систем, 17:3 (2010),  72–90
3. Разрешимость теории $T_f=Th(\omega, 0, 1, <, +, f(x), F(x))$
   
   Вестник ТвГУ. Серия: Прикладная математика, 2008, № 9,  39–51