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

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