Аришин Семён Васильевич

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

1. Формальные правила продукции объектной нотации для данных, определяемых EXPRESS схемой
   
   Труды ИСП РАН, 33:5 (2021),  7–24
2. Ускорение оптимизации программ во время связывания
   
   Труды ИСП РАН, 28:5 (2016),  175–198