Soundness and Completeness Proofs by Coinductive Methods
Research output: Contribution to journal › Journal article › Research › peer-review
Standard
Soundness and Completeness Proofs by Coinductive Methods. / Blanchette, Jasmin Christian; Popescu, Andrei; Traytel, Dmitriy.
In: Journal of Automated Reasoning, Vol. 58, No. 1, 2017, p. 149-179.Research output: Contribution to journal › Journal article › Research › peer-review
Harvard
Blanchette, JC, Popescu, A & Traytel, D 2017, 'Soundness and Completeness Proofs by Coinductive Methods', Journal of Automated Reasoning, vol. 58, no. 1, pp. 149-179. https://doi.org/10.1007/s10817-016-9391-3
APA
Blanchette, J. C., Popescu, A., & Traytel, D. (2017). Soundness and Completeness Proofs by Coinductive Methods. Journal of Automated Reasoning, 58(1), 149-179. https://doi.org/10.1007/s10817-016-9391-3
Vancouver
Blanchette JC, Popescu A, Traytel D. Soundness and Completeness Proofs by Coinductive Methods. Journal of Automated Reasoning. 2017;58(1):149-179. https://doi.org/10.1007/s10817-016-9391-3
Author
Bibtex
@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",
}
RIS
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
VL - 58
SP - 149
EP - 179
JO - Journal of Automated Reasoning
JF - Journal of Automated Reasoning
SN - 0168-7433
IS - 1
ER -
ID: 245669160