Selected Extended Papers of ITP 2016: Preface

Jasmin Christian Blanchette; Stephan Merz

doi:10.1007/s10817-018-9470-8

Selected Extended Papers of ITP 2016: Preface

Jasmin Christian Blanchette, Stephan Merz^*

^*Corresponding author for this work

Research output: Contribution to Journal › Editorial › Academic › peer-review

26 Downloads (Pure)

Original language	English
Pages (from-to)	169-170
Number of pages	2
Journal	Journal of Automated Reasoning
Volume	62
Issue number	2
Early online date	12 Jun 2018
DOIs	https://doi.org/10.1007/s10817-018-9470-8
Publication status	Published - 15 Feb 2019

Access to Document

10.1007/s10817-018-9470-8

2019_Preface_Selected Extended Papers of ITP 2016Final published version, 187 KBLicence: Article 25fa Dutch Copyright Act

Handle.net

Persistent link

Cite this

@article{5ef1c3aeaa85439cab89091b62f92237,

title = "Selected Extended Papers of ITP 2016: Preface",

author = "Blanchette, {Jasmin Christian} and Stephan Merz",

year = "2019",

month = feb,

day = "15",

doi = "10.1007/s10817-018-9470-8",

language = "English",

volume = "62",

pages = "169--170",

journal = "Journal of Automated Reasoning",

issn = "0168-7433",

publisher = "Springer Netherlands",

number = "2",

}

TY - JOUR

T1 - Selected Extended Papers of ITP 2016

T2 - Preface

AU - Blanchette, Jasmin Christian

AU - Merz, Stephan

PY - 2019/2/15

Y1 - 2019/2/15

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

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

U2 - 10.1007/s10817-018-9470-8

DO - 10.1007/s10817-018-9470-8

M3 - Editorial

AN - SCOPUS:85048369793

VL - 62

SP - 169

EP - 170

JO - Journal of Automated Reasoning

JF - Journal of Automated Reasoning

SN - 0168-7433

IS - 2

ER -

Selected Extended Papers of ITP 2016: Preface

Access to Document

Handle.net

Other files and links

Cite this