Cardinals in Isabelle/HOL
Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
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. red. / Gerwin Klein; Ruben Gamboa. Springer, Cham, 2014. s. 111-127 (LNCS).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
Harvard
Blanchette, JC, Popescu, A & Traytel, D 2014, Cardinals in Isabelle/HOL. i G Klein & R Gamboa (red), 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, s. 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. I G. Klein, & R. Gamboa (red.), 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 (s. 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. I Klein G, Gamboa R, red., 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. s. 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