|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
2021 |
1. |
V. P. Gladstein, D. V. Mikhailovskii, E. A. Moiseenko, A. A. Trunov, “Mechanized theory of event structures: a case of parallel register machine”, Труды ИСП РАН, 33:3 (2021), 143–154 |
|
2018 |
2. |
Е. А. Моисеенко, А. В. Подкопаев, “Реляционное программирование с мемоизацией и отрицанием”, Научно-технические ведомости СПбГПУ. Информатика. Телекоммуникации. Управление, 11:2 (2018), 35–46 |
|