Математика. Диссертация Быстрые алгоритмы проверки эквивалентности программ в моделях с полугрупповой семантикой : диссертация ... кандидата физико-математических наук : 01.01.09 / Подымов Владислав Васильевич; [Место защиты: Моск. гос. ун-т им. М.В. Ломоносова], Москва, 2014