Алгоритм Кнута-Бендикса: различия между версиями
Перейти к навигации
Перейти к поиску
Glk (обсуждение | вклад) (Создана новая страница размером '''Алгоритм Кнута-Бендикса''' (''D.Knuth, P.Bendix'') - алгоритм построения ''полной сис...) |
(нет различий)
|
Версия от 13:51, 24 сентября 2009
Алгоритм Кнута-Бендикса (D.Knuth, P.Bendix) - алгоритм построения полной системы переписывания термов.
Литература
[Евстигнеев-Касьянов/94]