Sound Abstraction and Decomposition of Probabilistic Programs
Sound Abstraction and Decomposition of Probabilistic Programs
复制标题
概率程序的合理抽象和分解
DOI：
--
复制
发表时间：
2018
期刊：
影响因子：
--
通讯作者：
Millstein, T.
中科院分区：
文献类型：
--
作者：
Holtzen, S.;Van den Broeck, G.;Millstein, T.
登录
查看更多内容
功能空间的 Borel 结构
影响因子：
0.6
作者：
R. Aumann
通讯作者：
R. Aumann
DOI：
10.1007/978-3-540-45099-3_17
发表时间：
2000-06
期刊：
--
影响因子：
--
作者：
D. Monniaux
通讯作者：
D. Monniaux
DOI：
--
发表时间：
2017-01
期刊：
ArXiv
影响因子：
--
作者：
Dustin Tran;M. Hoffman;R. Saurous;E. Brevdo;K. Murphy;D. Blei
通讯作者：
Dustin Tran;M. Hoffman;R. Saurous;E. Brevdo;K. Murphy;D. Blei
影响因子：
1.8
作者：
Albarghouthi, Aws;D'Antoni, Loris;Nori, Aditya, V
通讯作者：
Nori, Aditya, V
DOI：
10.1145/2594291.2594303
发表时间：
2014
期刊：
Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation
影响因子：
--
作者：
C. Hur;A. Nori;S. Rajamani;Selva Samuel
通讯作者：
Selva Samuel