О двух методах распознавания эквивалентности в алгебраических моделях программстатья

Статья опубликована в журнале из перечня ВАК