Preface

Research output: Contribution to journal › Editorial

Original language	English
Pages (from-to)	1-2
Number of pages	2
Journal	Electronic Proceedings in Theoretical Computer Science, EPTCS
Volume	185
DOIs	https://doi.org/10.4204/eptcs.185.0
Publication status	Published - 27 Jul 2015
Event	10th International Workshop on Logical Frameworks and Meta Languages: Theory and Practice, LFMTP 2015 - Berlin, Germany Duration: 1 Aug 2015 → …

Access to 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 -