Abstract Machines, Control, and Sequents

Вы здесь

Автор:

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

Вид:

Статья из сборника или журнала

Год:

2002

Ключевые слова:

Стр.:

P.123-136

Библиография:

Bibliogr.: p.135-136

Источник:

Том:

2395

Карточка:

Б3.21, Б3.14.

Curien P. -L..

Abstract Machines, Control, and Sequents// Lecture Notes in Computer Science-2002.-Vol. 2395.-P.123-136
Bibliogr.: p.135-136

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

PAP25 662