| |
Русаков, Д.
Алгоритм проверки включения схем в алгебраической модели программ с константами [Текст] / Д. Русаков
// Программирование. – 2007. – № 6. – 3-13.
В данной стаье описывается алгоритм, проверяющий отношение включения в алгебраической модели программ с константами, и доказывается его сложность |
