Пономарев Денис Константинович

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

1. Machine learning with probabilistic law discovery: a concise introduction
   
   Известия Иркутского государственного университета. Серия Математика, 43 (2023),  91–109
2. On termination of transactions over semantic document models
   
   Известия Иркутского государственного университета. Серия Математика, 31 (2020),  111–131
3. The expressiveness of looping terms in the semantic programming
   
   Сиб. электрон. матем. изв., 17 (2020),  380–394
4. Towards semantic document modelling of business processes
   
   Известия Иркутского государственного университета. Серия Математика, 29 (2019),  52–67
5. A formalization of document models with semantic modelling
   
   Известия Иркутского государственного университета. Серия Математика, 27 (2019),  36–54
6. On the complexity of formulas in semantic programming
   
   Сиб. электрон. матем. изв., 15 (2018),  987–995
7. О разрешимости проблемы разложимости для конечных теорий
   
   Сиб. матем. журн., 51:4 (2010),  838–847
8. Критерий разложимости элементарных теорий
   
   Сиб. матем. журн., 49:1 (2008),  189–192