| |
Подловченко, Р. И.
Об одной методике распознавания эквивалентности в алгебраических моделях программ [Текст] / Р. И. Подловченко
// Программирование. – 2011. – № 6. – С. 33-43.
Изучается задача проверки эквивалентности схем программ в уравновешенных полугрупповых моделях программ. |
