Вы здесь

Girard J. -Y.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Light Linear Logic 1995 Girard J. -Y. Lecture Notes in Computer Science Logic and Computational Complexity 27.09.1995
СТ Linear Logic and Parallelism 1987 Girard J. -Y. Univ. Paris 03.06.1995
СТ Bounded linear logic: a modular approach to polynomial-time computability 1992 Girard J. -Y. Theoretical Computer Science 16.05.1992

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Typed Lambda Calculi and Applications: Proc./4th Intern. Conf., TLCA 99. L Aquila, Italy, April 1999 1999 Lecture Notes in Computer Science
  1. Girard J. -Y.
21.04.1999