СИБИРСКИЙ МАТЕМАТИЧЕСКИЙ ЖУРНАЛ

АННОТАЦИИ

Попов В. Ю. О конечной базируемости многообразий полугрупп // Том 43 (2002), Номер 5, стр. 1113–1124
Не существует алгоритма, определяющего по произвольной
рекурсивной системе полугрупповых тождеств, будет ли
многообразие, заданное этой системой, конечно базируемо.
%Библиогр.~18.
© Сибирский Математический Журнал, 2003-2006