Cardinals in Isabelle/HOL
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Standard
Cardinals in Isabelle/HOL. / Blanchette, Jasmin Christian; Popescu, Andrei; Traytel, Dmitriy.
ITP 2014 - Interactive Theorem Proving: 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings. ed. / Gerwin Klein; Ruben Gamboa. Springer, Cham, 2014. p. 111-127 (LNCS).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Harvard
Blanchette, JC, Popescu, A & Traytel, D 2014, Cardinals in Isabelle/HOL. in G Klein & R Gamboa (eds), ITP 2014 - Interactive Theorem Proving: 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings. Springer, Cham, LNCS, pp. 111-127. https://doi.org/10.1007/978-3-319-08970-6_8
APA
Blanchette, J. C., Popescu, A., & Traytel, D. (2014). Cardinals in Isabelle/HOL. In G. Klein, & R. Gamboa (Eds.), ITP 2014 - Interactive Theorem Proving: 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings (pp. 111-127). Springer, Cham. LNCS https://doi.org/10.1007/978-3-319-08970-6_8
Vancouver
Blanchette JC, Popescu A, Traytel D. Cardinals in Isabelle/HOL. In Klein G, Gamboa R, editors, ITP 2014 - Interactive Theorem Proving: 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings. Springer, Cham. 2014. p. 111-127. (LNCS). https://doi.org/10.1007/978-3-319-08970-6_8
Author
Bibtex
@inproceedings{c3bf85c53fbf4cb986aec7d18ccd9980,
title = "Cardinals in Isabelle/HOL",
author = "Blanchette, {Jasmin Christian} and Andrei Popescu and Dmitriy Traytel",
year = "2014",
doi = "10.1007/978-3-319-08970-6_8",
language = "English",
series = "LNCS",
pages = "111--127",
editor = "Gerwin Klein and Ruben Gamboa",
booktitle = "ITP 2014 - Interactive Theorem Proving",
publisher = "Springer, Cham",
}
RIS
TY - GEN
T1 - Cardinals in Isabelle/HOL
AU - Blanchette, Jasmin Christian
AU - Popescu, Andrei
AU - Traytel, Dmitriy
PY - 2014
Y1 - 2014
U2 - 10.1007/978-3-319-08970-6_8
DO - 10.1007/978-3-319-08970-6_8
M3 - Article in proceedings
T3 - LNCS
SP - 111
EP - 127
BT - ITP 2014 - Interactive Theorem Proving
A2 - Klein, Gerwin
A2 - Gamboa, Ruben
PB - Springer, Cham
ER -
ID: 245668745