Максимец, А.Н.
(Доповіді НАН України, 2013)
Представлено решение проблемы поиска инвариантов программ в виде полиномиальных
зависимостей методом верхней аппроксимации. Этот итерационный метод, с успехом примененный к программам над абсолютно свободными алгебрами и ...