| |
Подловченко, Р. И.
Полные системы эквивалентных преобразований в уравновешенных полугрупповых моделях программ с левым сокращением [Текст] / Р. И. Подловченко
// Программирование. – 2010. – № 3. – С. 3-18.
Рассматриваемые в данной статье модели программ, относятся к алгебраическим, введенным и достаточно широко изучаемым в теоретическом программировании. |
