×

找到33个文档(结果1-33)

概率演算中非懒惰的好处。适用的互模拟对于非惰性概率调用名是完全抽象的。 (英语) Zbl 1498.03041号

2020年第35届ACM/IEEE计算机科学逻辑研讨会论文集,LICS 2020,虚拟事件,2020年7月8日至11日。纽约州纽约市:计算机协会(ACM)。327-340 (2020).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

依赖性概念直至等效。 (英语) Zbl 1528.03145号

Ghica,Dan R.(编辑)等人,第27届EACSL计算机科学逻辑年会,CSL 2018,英国伯明翰,2018年9月4-8日。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。119,第25条,第21页(2018年)。
MSC公司:03B60号
PDF格式BibTeX公司 XML格式引用
全文: 内政部

概率Böhm树和概率分离。 (英语) Zbl 1453.03009号

2018年第33届ACM/IEEE计算机科学逻辑研讨会论文集,2018年7月9日至12日,英国牛津,LICS 2018。纽约州纽约市:计算机协会(ACM)。649-658 (2018).
MSC公司:03B40型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

反驳Sallé的长期猜测。 (英语) Zbl 1434.03052号

Miller,Dale(编辑),第二届计算和演绎形式结构国际会议。FSCD 2017,英国牛津,2017年9月3日至9日。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。84,第20条,第18页(2017年)。
MSC公司:03B40型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

call-by-value lambda-calculus的标准化。 (英语) Zbl 1367.68052号

Altenkirch,Thorsten(编辑),第13届lambda calculi类型和应用国际会议,TLCA’15,波兰华沙,2015年7月1日至3日。诉讼程序。Wadern:达格斯图尔宫(Schloss Dagstuhl)——莱布尼茨天顶宫(Leibniz Zentrum für Informatik)(ISBN 978-3-939897-87-3)。LIPIcs–莱布尼茨国际信息学论文集38,211-225(2015)。
MSC公司:68甲18 03B40型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

对称交互组合子集模型的完全抽象。 (英语) Zbl 1352.68187号

Birkedal,Lars(编辑),软件科学和计算结构基础。2012年3月24日至4月1日在爱沙尼亚塔林举行的第15届国际会议FOSSACS 2012,该会议是欧洲软件理论与实践联合会议ETAPS 2012的一部分。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-28728-2/pbk)。计算机科学课堂讲稿7213,316-330(2012)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

基于代码的加密证明的正式认证。 (英语) Zbl 1315.68081号

2009年1月18日至24日,美国佐治亚州萨凡纳,POPL'09,第36届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-60558-379-2)。90-101 (2009).
MSC公司:68号30 03B70号 第68页第15页 94A60型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

相互作用组合子和内部分离的观测等价性。 (英语) Zbl 1278.68219号

Ian Mackie(编辑),第三届术语图改写国际研讨会论文集(TERMGRAPH 2006),奥地利维也纳,2006年4月。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》176,第1期,113-137(2007)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

微分相互作用网的分离定理。 (英语) Zbl 1137.03325号

Dershowitz,Nachum(编辑)等人,《编程逻辑、人工智能和推理》。2007年10月15日至19日在亚美尼亚埃里温举行的2007年LPAR第14届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-75558-6/pbk)。计算机科学课堂讲稿4790。人工智能课堂讲稿,393-407(2007)。
MSC公司:03楼52 07年3月
PDF格式BibTeX公司 XML格式引用
全文: 内政部

STS:集合的结构理论。 (英语) Zbl 0993.03065号

Zakharyaschev,Michael(编辑)等人,《模态逻辑的进展》。第2卷。1998年10月16日至18日,瑞典乌普萨拉,第二届国际研讨会(AiML'98)的论文选集。加利福尼亚州斯坦福:CSLI出版物。CSLI法律。笔记。119, 1-34 (2001).
MSC公司:03E70型 03B45号
PDF格式BibTeX公司 XML格式引用

概率多项式时间等价与安全性分析。 (英语) Zbl 0976.94029号

Wing,Jeannette M.(编辑)等人,FM’99。形式化方法。计算系统开发中的形式化方法世界大会。1999年9月20日至24日,法国图卢兹。诉讼程序。2卷。柏林:施普林格出版社(ISBN 3-540-66587-0/第1卷;3-540-66588-9/第2卷)。莱克特。注释计算。科学。1708; 1709, 776-793 (1999).
PDF格式BibTeX公司 XML格式引用

逻辑前关系。 (英语) Zbl 0942.03018号

Flum,Jörg(编辑)等人,《计算机科学逻辑》。第十三届国际研讨会,CSL’99。1999年9月20日至25日在西班牙马德里举行的欧洲原子能委员会第八届年会。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1683, 546-561 (1999).
MSC公司:03B40型 03B70号
PDF格式BibTeX公司 XML格式引用

线性有界机器的同步乘积。 (英语) Zbl 0947.03057号

乔巴努、加布里埃尔(编辑)等,《计算理论基础》。第12届国际研讨会,FCT’99。1999年8月30日至9月3日,罗马尼亚伊阿什伊。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。第1684362-373页(1999年)。
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型

全部的 前5名

出版年份