On the termination of the Knuth-Bendix completion algorithm

Вы здесь

Автор:

Количество экземпляров:

Колл. автор:

Вид:

Препринт

Год:

1984

Ключевые слова:

Стр.:

18 S.

Примечание:

О завершении и аварийном завершении алгоритма Кнута-Бендикса

Библиография:

Bibliogr.: p.18

Место издания:

Номер:

120/84

Карточка:

Б2.34, Б2.12.

Avenhaus J..

On the termination of the Knuth-Bendix completion algorithm-Kaiserslautern., 1984.-18 S.-(Препринт Univ. Kaiserslautern №120/84).
Bibliogr.: p.18

Таблица в старой библиотеке:

PREP1 349