Беляев, А.К.; Клименко, В.П.
(Математичні машини і системи, 2011)
Рассматривается подход к построению доопределений частично определенных арифметических функций в системе обратимых преобразований и их классов на абстрактном регистре. Определяются условия замыкания классов и возможность ...