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

Résultats de recherche: Contribution à un journal › Éditorial

langue originale	Anglais
Pages (de - à)	v
journal	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	3839 LNCS
état	Publié - 23 juin 2006
Evénement	International Workshop on Types for Proofs and Programs, TYPES 2004 - Jouy-en-Josas, France Durée: 15 déc. 2004 → 18 déc. 2004

Autres fichiers et liens

Lien vers la publication dans Scopus

Contient cette citation

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. Dans: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2006 ; Vol 3839 LNCS. p. 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.
Dans: 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.

Résultats de recherche: Contribution à un journal › Éditorial

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 -