×

找到7个文档（结果1-7）

最新的 引文 关联
苏拉吉·巴特；约翰·博格斯特罗姆；安德鲁·D·戈登。；克劳迪奥·拉索

从概率函数程序中导出概率密度函数。 （英语） Zbl 1398.68084号

日志。方法计算。科学。 13，第2号，第16号论文，32页（2017年）.
MSC公司：68甲18 68甲19 第68页第20页 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Bhat}等人，日志。方法计算。科学。13，第2号，第16号论文，32页（2017；Zbl 1398.68084）
全文： DOI程序
约翰·博格斯特罗姆；乌戈·达尔拉戈；安德鲁·D·戈登。；马钦·西姆扎克

通用概率规划的lambda-calculus基础。 （英语） 兹比尔1360.68314

Garrigue，Jacques（ed.）等人，《第21届ACM SIGPLAN功能编程国际会议论文集》，2016年9月18日至22日，日本奈良，ICFP’16。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-4219-3）。33-46 (2016).
MSC公司：68甲18 68甲15 68甲19 68号30 68问题55 68T05型
PDF格式BibTeX公司 XML格式引用
\textit{J.Borgström}等人，in：第21届ACM SIGPLAN函数式编程国际会议论文集，2016年9月18日至22日，日本奈良ICFP’16。纽约州纽约市：计算机协会（ACM）。33-46（2016年；Zbl 1360.68314）
全文： DOI程序 arXiv公司 链接
苏拉吉·巴特；约翰·博格斯特罗姆；安德鲁·D·戈登。；克劳迪奥·拉索

从概率函数程序中导出概率密度函数。 （英语） Zbl 1381.68030号

Piterman，Nir（编辑）等人，《系统构建和分析的工具和算法》。2013年3月16日至24日，第19届国际会议（TACAS 2013）在意大利罗马举行，作为欧洲软件理论与实践联合会议（ETAPS 2013）的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-36741-0/pbk）。计算机科学课堂讲稿7795508-522（2013）。
MSC公司：68甲18 68甲19 第68页第20页
PDF格式BibTeX公司 XML格式引用
\textit｛S.Bhat｝等人，Lect。注释计算。科学。7795，508--522（2013；Zbl 1381.68030）
全文： DOI程序 arXiv公司
维托尔德·查拉托尼克；安德鲁·D·戈登。；Jean-Marc Talbot

有限控制移动环境。 （英语） Zbl 1077.68574号

Le Métayer，Daniel（编辑），《编程语言和系统》。2002年4月8日至12日，在法国格勒诺布尔举行的第11届欧洲编程研讨会，ESOP 2002，作为欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林：施普林格出版社（ISBN 3-540-43363-5）。莱克特。注释计算。科学。2305, 295-313 (2002).
MSC公司：68甲19 68号30 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{W.Charatonik}等人，Lect。注释计算。科学。2305295-313（2002年；Zbl 1077.68574）
全文： 链接
A.D.戈登。；宾夕法尼亚州汉金。

并发对象演算：约简和类型。 （英语） Zbl 0917.68064号

Nestmann，Uwe（编辑）等人，HLCL’98。第三届高级并发语言国际研讨会。法国尼斯，1998年9月12日。阿姆斯特丹：爱思唯尔，理论计算机科学电子笔记。16.3，第7号电子文件（1998年）。
MSC公司：第68季度10 68甲15
PDF格式BibTeX公司 XML格式引用
\textit{A.D.Gordon}和\textit{P.D.Hankin}，in：HLCL'98。第三届高级并发语言国际研讨会。法国尼斯，1998年9月12日。阿姆斯特丹：爱思唯尔。第7号电子文件（1998；Zbl 0917.68064）
全文： 链接

筛选结果依据…

文档类型

全部的 前5名

作者

序列号

全部的 前5名

出版年份

主字段

软件