Свириденко Дмитрий Иванович

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

1. The expressiveness of looping terms in the semantic programming
   
   Сиб. электрон. матем. изв., 17 (2020),  380–394
2. Рекурсивные термы в семантическом программировании
   
   Сиб. матем. журн., 59:6 (2018),  1279–1290
3. Математические основы семантического программирования
   
   Докл. АН СССР, 289:6 (1986),  1324–1328
4. К теории синтеза программ
   
   Тр. Ин-та математики, 2 (1982),  159–175