Preface

Thorsten Altenkirch; Kaustuv Chaudhuri; Gilles Dowek; Amy Felty; Andrzej Filinski; Marino Miculan; Florian Rabe; Wilmer Ricciotti; Claudio Sacerdoti Coen; Kristina Sojakova

Preface

Thorsten Altenkirch
, Kaustuv Chaudhuri
, Gilles Dowek
, Amy Felty
, Andrzej Filinski
, Marino Miculan
, Florian Rabe
, Wilmer Ricciotti
, Claudio Sacerdoti Coen
, Kristina Sojakova

Research output: Contribution to journal › Editorial

Original language	English
Journal	ACM International Conference Proceeding Series
Volume	Part F130531
Publication status	Published - 8 Sept 2017
Event	2017 Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, LFMTP 2017 - Oxford, United Kingdom Duration: 8 Sept 2017 → …

Cite this

@article{2b39f3d9267a44caa06da3383bbb78c3,

title = "Preface",

author = "Thorsten Altenkirch and Kaustuv Chaudhuri and Gilles Dowek and Amy Felty and Andrzej Filinski and Marino Miculan and Florian Rabe and Wilmer Ricciotti and Coen, \{Claudio Sacerdoti\} and Kristina Sojakova",

year = "2017",

month = sep,

day = "8",

language = "English",

volume = "Part F130531",

journal = "ACM International Conference Proceeding Series",

note = "2017 Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, LFMTP 2017 ; Conference date: 08-09-2017",

}

TY - JOUR

T1 - Preface

AU - Altenkirch, Thorsten

AU - Chaudhuri, Kaustuv

AU - Dowek, Gilles

AU - Felty, Amy

AU - Filinski, Andrzej

AU - Miculan, Marino

AU - Rabe, Florian

AU - Ricciotti, Wilmer

AU - Coen, Claudio Sacerdoti

AU - Sojakova, Kristina

PY - 2017/9/8

Y1 - 2017/9/8

M3 - Editorial

AN - SCOPUS:85030486017

VL - Part F130531

JO - ACM International Conference Proceeding Series

JF - ACM International Conference Proceeding Series

T2 - 2017 Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, LFMTP 2017

Y2 - 8 September 2017

ER -