RUS  ENG ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ЛИЧНЫЙ КАБИНЕТ
 
Пономарев Денис Константинович

В базах данных Math-Net.Ru
Публикаций: 4
Научных статей: 4

Статистика просмотров:
Эта страница:210
Страницы публикаций:365
Полные тексты:91
Списки литературы:42
E-mail:

http://www.mathnet.ru/rus/person34249
Список публикаций на Google Scholar
Список публикаций на ZentralBlatt

Публикации в базе данных Math-Net.Ru
2019
1. A. V. Mantsivoda, D. K. Ponomaryov, “A formalization of document models with semantic modelling”, Известия Иркутского государственного университета. Серия Математика, 27 (2019),  36–54  mathnet
2018
2. S. Ospichev, D. Ponomarev, “On the complexity of formulas in semantic programming”, Сиб. электрон. матем. изв., 15 (2018),  987–995  mathnet  isi
2010
3. А. С. Морозов, Д. К. Пономарев, “О разрешимости проблемы разложимости для конечных теорий”, Сиб. матем. журн., 51:4 (2010),  838–847  mathnet  mathscinet; A. S. Morozov, D. K. Ponomaryov, “On decidability of the decomposability problem for finite theories”, Siberian Math. J., 51:4 (2010), 667–674  isi  scopus
2008
4. Д. К. Пономарев, “Критерий разложимости элементарных теорий”, Сиб. матем. журн., 49:1 (2008),  189–192  mathnet  mathscinet  zmath; D. K. Ponomarev, “A decomposability criterion for elementary theories”, Siberian Math. J., 49:1 (2008), 152–154  isi  scopus

Организации
 
Обратная связь:
 Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2019