Вы здесь

Total Termination of Term Rewriting

Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
1993
Стр.: 
P.213-227.
Библиография: 
Bibliogr.: p.226-227
Издательство: 
Том: 
690
Карточка: 

Б2.23, Б2.3.

Ferreira M.C. F., Zantema H..

Total Termination of Term Rewriting: Springer// Lecture Notes in Computer Science-1993.-Vol. 690.-P.213-227.
Bibliogr.: p.226-227

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