Вы здесь

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
  1. Lecomte A.
  2. Lamarche F.
  3. Perrier G.
21.04.1999