Standard
Unified Classical Logic Completeness - A Coinductive Pearl. / Blanchette, Jasmin Christian; Popescu, Andrei; Traytel, Dmitriy.
Automated Reasoning: 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, Vienna, Austria, July 19-22, 2014, Proceedings. red. / Stéphane Demri; Deepak Kapur; Christoph Weidenbach. Springer, Cham, 2014. s. 46-60 (Lecture Notes in Computer Science, Bind 8562).
Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
Harvard
Blanchette, JC, Popescu, A
& Traytel, D 2014,
Unified Classical Logic Completeness - A Coinductive Pearl. i S Demri, D Kapur & C Weidenbach (red),
Automated Reasoning: 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, Vienna, Austria, July 19-22, 2014, Proceedings. Springer, Cham, Lecture Notes in Computer Science, bind 8562, s. 46-60.
https://doi.org/10.1007/978-3-319-08587-6_4
APA
Blanchette, J. C., Popescu, A.
, & Traytel, D. (2014).
Unified Classical Logic Completeness - A Coinductive Pearl. I S. Demri, D. Kapur, & C. Weidenbach (red.),
Automated Reasoning: 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, Vienna, Austria, July 19-22, 2014, Proceedings (s. 46-60). Springer, Cham. Lecture Notes in Computer Science Bind 8562
https://doi.org/10.1007/978-3-319-08587-6_4
Vancouver
Blanchette JC, Popescu A
, Traytel D.
Unified Classical Logic Completeness - A Coinductive Pearl. I Demri S, Kapur D, Weidenbach C, red., Automated Reasoning: 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, Vienna, Austria, July 19-22, 2014, Proceedings. Springer, Cham. 2014. s. 46-60. (Lecture Notes in Computer Science, Bind 8562).
https://doi.org/10.1007/978-3-319-08587-6_4
Author
Blanchette, Jasmin Christian ; Popescu, Andrei ; Traytel, Dmitriy. / Unified Classical Logic Completeness - A Coinductive Pearl. Automated Reasoning: 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, Vienna, Austria, July 19-22, 2014, Proceedings. red. / Stéphane Demri ; Deepak Kapur ; Christoph Weidenbach. Springer, Cham, 2014. s. 46-60 (Lecture Notes in Computer Science, Bind 8562).
Bibtex
@inproceedings{d1a82412fe514fe6ad089b8d139639e0,
title = "Unified Classical Logic Completeness - A Coinductive Pearl",
author = "Blanchette, {Jasmin Christian} and Andrei Popescu and Dmitriy Traytel",
year = "2014",
doi = "10.1007/978-3-319-08587-6_4",
language = "English",
series = "Lecture Notes in Computer Science",
publisher = "Springer, Cham",
pages = "46--60",
editor = "St{\'e}phane Demri and Deepak Kapur and Christoph Weidenbach",
booktitle = "Automated Reasoning",
}
RIS
TY - GEN
T1 - Unified Classical Logic Completeness - A Coinductive Pearl
AU - Blanchette, Jasmin Christian
AU - Popescu, Andrei
AU - Traytel, Dmitriy
PY - 2014
Y1 - 2014
U2 - 10.1007/978-3-319-08587-6_4
DO - 10.1007/978-3-319-08587-6_4
M3 - Article in proceedings
T3 - Lecture Notes in Computer Science
SP - 46
EP - 60
BT - Automated Reasoning
A2 - Demri, Stéphane
A2 - Kapur, Deepak
A2 - Weidenbach, Christoph
PB - Springer, Cham
ER -