Алгоритмические проблемы алгебры, биоинформатики и робототехники VI Владимир Попов

Книга "Проблема равенства, выводимость и выполнимость тождеств и квазитождеств" является шестой в серии под общим названием "Алгоритмические проблемы алгебры, биоинформатики и робототехники". В книге представлены результаты по алгоритмическим вопросам, связанным с разрешимостью и вычислительной сложностью проблемы равенства, разрешимостью проблемы распознавания конечной базируемости, а также проблем выводимости и выполнимости тождеств и квазитождеств. Это и многое другое вы найдете в книге Алгоритмические проблемы алгебры, биоинформатики и робототехники VI (Владимир Попов)