Моисеенко Евгений Александрович

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

1. Mechanized theory of event structures: a case of parallel register machine
   
   Труды ИСП РАН, 33:3 (2021),  143–154
2. Реляционное программирование с мемоизацией и отрицанием
   
   Научно-технические ведомости СПбГПУ. Информатика. Телекоммуникации. Управление, 11:2 (2018),  35–46