Soundness and Completeness Proofs by Coinductive Methods

Jasmin Christian Blanchette, Andrei Popescu, Dmitriy Traytel

Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

29 Citationer (Scopus)

Originalsprog	Engelsk
Tidsskrift	Journal of Automated Reasoning
Vol/bind	58
Udgave nummer	1
Sider (fra-til)	149-179
Antal sider	31
ISSN	0168-7433
DOI	https://doi.org/10.1007/s10817-016-9391-3
Status	Udgivet - 2017
Udgivet eksternt	Ja

Adgang til dokumentet

@article{b25e28ffb8fb47cd8f43158c62ae33aa,

title = "Soundness and Completeness Proofs by Coinductive Methods",

author = "Blanchette, {Jasmin Christian} and Andrei Popescu and Dmitriy Traytel",

year = "2017",

doi = "10.1007/s10817-016-9391-3",

language = "English",

volume = "58",

pages = "149--179",

journal = "Journal of Automated Reasoning",

issn = "0168-7433",

publisher = "Springer Netherlands",

number = "1",

}

TY - JOUR

T1 - Soundness and Completeness Proofs by Coinductive Methods

AU - Blanchette, Jasmin Christian

AU - Popescu, Andrei

AU - Traytel, Dmitriy

PY - 2017

Y1 - 2017

U2 - 10.1007/s10817-016-9391-3

DO - 10.1007/s10817-016-9391-3

M3 - Journal article

SN - 0168-7433

VL - 58

SP - 149

EP - 179

JO - Journal of Automated Reasoning

JF - Journal of Automated Reasoning

IS - 1

ER -