A Formalized Hierarchy of Probabilistic System Types (Proof Pearl)
Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
Standard
A Formalized Hierarchy of Probabilistic System Types (Proof Pearl). / Hölzl, Johannes; Lochbihler, Andreas; Traytel, Dmitriy.
ITP 2015. red. / Xingyuan Zhang; Christian Urban. Bind 9236 Springer, Cham, 2015. s. 203-220 (LNCS).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
Harvard
Hölzl, J, Lochbihler, A & Traytel, D 2015, A Formalized Hierarchy of Probabilistic System Types (Proof Pearl). i X Zhang & C Urban (red), ITP 2015. bind 9236, Springer, Cham, LNCS, s. 203-220. https://doi.org/10.1007/978-3-319-22102-1_13
APA
Hölzl, J., Lochbihler, A., & Traytel, D. (2015). A Formalized Hierarchy of Probabilistic System Types (Proof Pearl). I X. Zhang, & C. Urban (red.), ITP 2015 (Bind 9236, s. 203-220). Springer, Cham. LNCS https://doi.org/10.1007/978-3-319-22102-1_13
Vancouver
Hölzl J, Lochbihler A, Traytel D. A Formalized Hierarchy of Probabilistic System Types (Proof Pearl). I Zhang X, Urban C, red., ITP 2015. Bind 9236. Springer, Cham. 2015. s. 203-220. (LNCS). https://doi.org/10.1007/978-3-319-22102-1_13
Author
Bibtex
@inproceedings{dff95ac96ff244e3bcde6e7306569dbb,
title = "A Formalized Hierarchy of Probabilistic System Types (Proof Pearl)",
author = "Johannes H{\"o}lzl and Andreas Lochbihler and Dmitriy Traytel",
year = "2015",
doi = "10.1007/978-3-319-22102-1_13",
language = "English",
volume = "9236",
series = "LNCS",
pages = "203--220",
editor = "Xingyuan Zhang and Christian Urban",
booktitle = "ITP 2015",
publisher = "Springer, Cham",
}
RIS
TY - GEN
T1 - A Formalized Hierarchy of Probabilistic System Types (Proof Pearl)
AU - Hölzl, Johannes
AU - Lochbihler, Andreas
AU - Traytel, Dmitriy
PY - 2015
Y1 - 2015
U2 - 10.1007/978-3-319-22102-1_13
DO - 10.1007/978-3-319-22102-1_13
M3 - Article in proceedings
VL - 9236
T3 - LNCS
SP - 203
EP - 220
BT - ITP 2015
A2 - Zhang, Xingyuan
A2 - Urban, Christian
PB - Springer, Cham
ER -
ID: 245669042