Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface

Jean Christophe Filliâtre; Christine Paulin-Mohring; Benjamin Werner

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface

Jean Christophe Filliâtre
, Christine Paulin-Mohring
, Benjamin Werner

Research output: Contribution to journal › Editorial

Original language	English
Pages (from-to)	v
Journal	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	3839 LNCS
Publication status	Published - 23 Jun 2006
Event	International Workshop on Types for Proofs and Programs, TYPES 2004 - Jouy-en-Josas, France Duration: 15 Dec 2004 → 18 Dec 2004

Cite this

Filliâtre, Jean Christophe ; Paulin-Mohring, Christine ; Werner, Benjamin. / Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) : Preface. In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2006 ; Vol. 3839 LNCS. pp. v.

@article{c9ff646a78c44896b2b51bf313a43c28,

title = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface",

author = "Filli{\^a}tre, \{Jean Christophe\} and Christine Paulin-Mohring and Benjamin Werner",

year = "2006",

month = jun,

day = "23",

language = "English",

volume = "3839 LNCS",

pages = "v",

journal = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

issn = "0302-9743",

note = "International Workshop on Types for Proofs and Programs, TYPES 2004 ; Conference date: 15-12-2004 Through 18-12-2004",

}

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface. / Filliâtre, Jean Christophe; Paulin-Mohring, Christine; Werner, Benjamin.
In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 3839 LNCS, 23.06.2006, p. v.

Research output: Contribution to journal › Editorial

TY - JOUR

T1 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

T2 - International Workshop on Types for Proofs and Programs, TYPES 2004

AU - Filliâtre, Jean Christophe

AU - Paulin-Mohring, Christine

AU - Werner, Benjamin

PY - 2006/6/23

Y1 - 2006/6/23

UR - https://www.scopus.com/pages/publications/33745176197

M3 - Editorial

AN - SCOPUS:33745176197

SN - 0302-9743

VL - 3839 LNCS

SP - v

JO - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

JF - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Y2 - 15 December 2004 through 18 December 2004

ER -

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface

Other files and links

Cite this