Алгоритм Кнута-Бендикса

Материал из WEGA

Алгоритм Кнута-Бендикса (D.Knuth, P.Bendix) - алгоритм построения полной системы переписывания термов.

Литература

[Евстигнеев-Касьянов/94]