4625
правок
KEV (обсуждение | вклад) Нет описания правки |
KEV (обсуждение | вклад) Нет описания правки |
||
Строка 1: | Строка 1: | ||
'''Алгоритм Кнута-Бендикса''' (''D.Knuth, P.Bendix'') - | '''Алгоритм Кнута-Бендикса''' ([[D.Knuth|''D.Knuth]], [[P.Bendix|P.Bendix]]'') - | ||
[[алгоритм|алгоритм]] построения [[полной системы переписывания термов|''полной системы переписывания термов'']]. | [[алгоритм|алгоритм]] построения [[полной системы переписывания термов|''полной системы переписывания термов'']]. | ||
==Литература== | ==Литература== | ||
[Евстигнеев-Касьянов/94] | [Евстигнеев-Касьянов/94] |