Preface: Selected Extended Papers from Interactive Theorem Proving 2018

Jeremy Avigad; Assia Mahboubi

doi:10.1007/s10817-020-09557-w

Preface: Selected Extended Papers from Interactive Theorem Proving 2018

Jeremy Avigad^*, Assia Mahboubi

^*Corresponding author for this work

Mathematics

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

8 Downloads (Pure)

Original language	English
Pages (from-to)	793-794
Number of pages	2
Journal	Journal of Automated Reasoning
Volume	64
Issue number	5
Early online date	22 May 2020
DOIs	https://doi.org/10.1007/s10817-020-09557-w
Publication status	Published - Jun 2020

Access to Document

10.1007/s10817-020-09557-w

Preface_Selected Extended Papers from Interactive Theorem Proving 2018Final published version, 168 KBLicence: Article 25fa Dutch Copyright Act

Persistent URL (handle)

Persistent link

Cite this

@article{a6ae4d5dd0d64f6ea8a32564618307c2,

title = "Preface: Selected Extended Papers from Interactive Theorem Proving 2018",

author = "Jeremy Avigad and Assia Mahboubi",

year = "2020",

month = jun,

doi = "10.1007/s10817-020-09557-w",

language = "English",

volume = "64",

pages = "793--794",

journal = "Journal of Automated Reasoning",

issn = "0168-7433",

publisher = "Springer Netherlands",

number = "5",

}

TY - JOUR

T1 - Preface: Selected Extended Papers from Interactive Theorem Proving 2018

AU - Avigad, Jeremy

AU - Mahboubi, Assia

PY - 2020/6

Y1 - 2020/6

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

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

U2 - 10.1007/s10817-020-09557-w

DO - 10.1007/s10817-020-09557-w

M3 - Editorial

AN - SCOPUS:85085027130

SN - 0168-7433

VL - 64

SP - 793

EP - 794

JO - Journal of Automated Reasoning

JF - Journal of Automated Reasoning

IS - 5

ER -

Preface: Selected Extended Papers from Interactive Theorem Proving 2018

Access to Document

Persistent URL (handle)

Other files and links

Cite this