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