Вы здесь

Strong Normalization of Substitutions

Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
1992
Ключевые слова: 
Стр.: 
P.209-217.
Библиография: 
Bibliogr.: p.217.
Том: 
629
Карточка: 

Б2.14.

Curien P. -L., Hardin T., Rois A..

Strong Normalization of Substitutions// Lecture Notes in Computer Science-1992.-Vol. 629.-P.209-217.
Bibliogr.: p.217.

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