Вы здесь

On the Computational Complexity of Cut-Elimination in Linear Logic

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

Б2.13, Б2.11.

Mairson H. G., Terui K..

On the Computational Complexity of Cut-Elimination in Linear Logic: Springer// Lecture Notes in Computer Science-2003.-Vol. 2841.-P.23-36
Bibliogr.: p.36

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