| |
Волков, В. А.
О декларативном представлении алгоритмов пополнения критическими парами [Текст] / В. А. Волков
// Кибернетика и системный анализ. – 2001. – № 6. – 18-23.
В настоящей работе декларативное представление алгоритма Бухбергера обобщается для работы с алгоритмом Кнута-Бендикса решения проблемы слов в универсальных алгебрах. |
