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

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

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

О книге

автор, издательство, серия
Издательство
Palmarium Academic Publishing
ISBN
978-3-847-39687-1
Год
2012