Preface

Research output: Contribution to journal › Editorial

Original language	English
Journal	Leibniz International Proceedings in Informatics, LIPIcs
Volume	84
Publication status	Published - 1 Sept 2017
Event	2nd International Conference on Formal Structures for Computation and Deduction, FSCD 2017 - Oxford, United Kingdom Duration: 3 Sept 2017 → 9 Sept 2017

Cite this

@article{41c667832bbf4fd3afe6c75d80b1d079,

title = "Preface",

author = "Dale Miller",

year = "2017",

month = sep,

day = "1",

language = "English",

volume = "84",

journal = "Leibniz International Proceedings in Informatics, LIPIcs",

issn = "1868-8969",

publisher = "Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing",

note = "2nd International Conference on Formal Structures for Computation and Deduction, FSCD 2017 ; Conference date: 03-09-2017 Through 09-09-2017",

}

TY - JOUR

T1 - Preface

AU - Miller, Dale

PY - 2017/9/1

Y1 - 2017/9/1

M3 - Editorial

AN - SCOPUS:85030565431

SN - 1868-8969

VL - 84

JO - Leibniz International Proceedings in Informatics, LIPIcs

JF - Leibniz International Proceedings in Informatics, LIPIcs

T2 - 2nd International Conference on Formal Structures for Computation and Deduction, FSCD 2017

Y2 - 3 September 2017 through 9 September 2017

ER -