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

Персоналии

RUS ENG

JavaScript is disabled in your browser. Please switch it on to enable full functionality of the website

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

E-mail:

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

Организации

Обратная связь: