Вы здесь

A complition procedure for globally finite term rewriting systems

Автор: 
Количество экземпляров: 
1
Колл. автор: 
Вид: 
Препринт
Год: 
1983
Стр.: 
41 P.
Примечание: 
Процедура завершения для глобально конечных систем переписывания терминов
Библиография: 
Bibliogr.: p.41
Место издания: 
Номер: 
93/83
Карточка: 

Б2.34, Б5.11.

Gobel R..

A complition procedure for globally finite term rewriting systems-Kaiserslautern., 1983.-41 P.-(Препринт Univ. Kaiserslautern №93/83).
Bibliogr.: p.41

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