Preface

Research output: Contribution to journal › Editorial › peer-review

Original language	English (US)
Journal	Electronic Proceedings in Theoretical Computer Science, EPTCS
Volume	71
State	Published - Oct 31 2011
Event	6th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, LFMTP 2011 - Nijmegen, Netherlands Duration: Aug 26 2011 → …

Find It

@article{4cf1161eb9dc4096b2eebee4666a48ea,

title = "Preface",

author = "Herman Geuvers and Gopalan Nadathur",

year = "2011",

month = oct,

day = "31",

language = "English (US)",

volume = "71",

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

issn = "2075-2180",

publisher = "Open Publishing Association",

note = "6th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, LFMTP 2011 ; Conference date: 26-08-2011",

}

TY - JOUR

T1 - Preface

AU - Geuvers, Herman

AU - Nadathur, Gopalan

PY - 2011/10/31

Y1 - 2011/10/31

UR - http://www.scopus.com/inward/record.url?scp=85028460628&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85028460628&partnerID=8YFLogxK

M3 - Editorial

AN - SCOPUS:85028460628

SN - 2075-2180

VL - 71

JO - Electronic Proceedings in Theoretical Computer Science, EPTCS

JF - Electronic Proceedings in Theoretical Computer Science, EPTCS

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

Y2 - 26 August 2011

ER -