Молчанов Андрей Эрикович

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

1. Разрешимость проблемы эквивалентных преобразований в классе примитивных схем программ
   
   Труды ИСП РАН, 27:2 (2015),  173–188
2. Разрешимость эквивалентности в двухпараметрических перегородчатых моделях программ
   
   Модел. и анализ информ. систем, 21:4 (2014),  104–115
3. Разрешимость эквивалентности в перегородчатых моделях программ
   
   Модел. и анализ информ. систем, 21:2 (2014),  56–70
4. О теории алгебраических моделей программ с процедурами
   
   Модел. и анализ информ. систем, 19:5 (2012),  100–114