Preface

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

langue originale	Anglais
Pages (de - à)	1-2
Nombre de pages	2
journal	Electronic Proceedings in Theoretical Computer Science, EPTCS
Volume	185
Les DOIs	https://doi.org/10.4204/eptcs.185.0
état	Publié - 27 juil. 2015
Evénement	10th International Workshop on Logical Frameworks and Meta Languages: Theory and Practice, LFMTP 2015 - Berlin, Allemagne Durée: 1 août 2015 → …

Accès au document

@article{dde0a89add5946e9b00d110820846ea4,

title = "Preface",

author = "Iliano Cervesato and Kaustuv Chaudhuri",

year = "2015",

month = jul,

day = "27",

doi = "10.4204/eptcs.185.0",

language = "English",

volume = "185",

pages = "1--2",

journal = "Electronic Proceedings in Theoretical Computer Science, EPTCS",

issn = "2075-2180",

publisher = "Open Publishing Association",

note = "10th International Workshop on Logical Frameworks and Meta Languages: Theory and Practice, LFMTP 2015 ; Conference date: 01-08-2015",

}

TY - JOUR

T1 - Preface

AU - Cervesato, Iliano

AU - Chaudhuri, Kaustuv

PY - 2015/7/27

Y1 - 2015/7/27

U2 - 10.4204/eptcs.185.0

DO - 10.4204/eptcs.185.0

M3 - Editorial

AN - SCOPUS:84954448879

SN - 2075-2180

VL - 185

SP - 1

EP - 2

JO - Electronic Proceedings in Theoretical Computer Science, EPTCS

JF - Electronic Proceedings in Theoretical Computer Science, EPTCS

T2 - 10th International Workshop on Logical Frameworks and Meta Languages: Theory and Practice, LFMTP 2015

Y2 - 1 August 2015

ER -