О направленных преобразованиях формул

Изучается вопрос о существовании базисных систем равенств для произвольных алгебр применительно к задаче минимизации термов. Показано, что для любой алгебры существует базисная система равенств, с помощью которой любой терм можно монотонно минимизировать относительно глубины. Библ. 1 назв.