Подловченко Р.И. «О двух методах распознавания эквивалентности в алгебраических моделях программ». (соавтор Захаров В.А.). Подготовлена к опубликованию, 4 страницы).

Ключевые слова: