Bounded linear logic: a modular approach to polynomial-time computability | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Вид:

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

Год:

1992

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

сложность

спецификация

линейный

ламбда-исчисление

Стр.:

P.1-66.

Реферат:

Связанная линейная логика:модульный подход к вычислимости в полиномиальном времени

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

Bibliogr.: p.65-66.

Источник:

Theoretical Computer Science

Номер:

1

Том:

97

Карточка:

Б2.12, Б2.14.

Girard J. -Y..

Bounded linear logic: a modular approach to polynomial-time computability// Theoretical Computer Science-1992, №1.-Vol. 97.-P.1-66.
Bibliogr.: p.65-66.

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

PAP3 249