| |
Подловченко, Р. И.
Техника следов в разрешении проблемы эквивалентности в алгебраических моделях программ [Текст] / Р. И. Подловченко
// Кибернетика и системный анализ. – 2009. – Т. 45, № 5. – С. 25-37.
Настоящая работа посвящена определению требований, предъявляемых к алгебраическим моделям программ и достаточных для использования техники следов при решении проблемы эквивалентности. |
