Вы здесь
Lamarche F.
Автор:
Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
---|---|---|---|---|---|---|---|---|
СТ | Quantitative Domains and Infinitary Algebras | 1992 | Lamarche F. | Theoretical Computer Science | 31.03.1992 | |||
СТ | On Proof Nets for Multiplicative Linear Logic with Units | 2004 | Strassburger L., Lamarche F. | Lecture Notes in Computer Science | Lecture Notes in Computer Science | 23.12.2004 |
Редактор:
Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
---|---|---|---|---|---|---|---|---|
СБ | Logical Aspects of Computational Linguistics: Proc./Second Intern. Conf., LACL 97. Nancy, France, September 1997 | 1999 | Lecture Notes in Artificial Intelligence |
|
21.04.1999 |