В монографии, на основе введенного понятия условного терма, изучается строение условных многообразий (универсальный классов универсальных алгебр, в том числе и отдельных конечных алгебр). Описываемое отношение условной рациональной эквивалентности условных многообразий позволяет решить целый ряд чисто алгебраических задач, а также построить теорию программно вычислимых функций на универсальных алгебрах.

Условные термы и их применение в алгебре и теории вычислений: Монография