On congruences and normal forms definable by term rewriting systems | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Колл. автор:

Univ. Kaiserslautern

Вид:

Препринт

Год:

1984

Стр.:

30 p.

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

Номер:

116/84

Карточка:

Б2.34.

Avenhaus J..

On congruences and normal forms definable by term rewriting systems-Kaiserslautern., 1984.-30 p.-(Препринт Univ. Kaiserslautern №116/84).

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

PREP1 433