×

找到23个文档(结果1–23)

基于代理建模中代理的逻辑和几何。 (英语) Zbl 1458.91046号

Sotomayor,Marilda(编辑)等人,《复杂的社会和行为系统》。博弈论和基于主体的模型。纽约州纽约:施普林格。附件。复杂。系统。科学。序列号。,705-723 (2020).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

子加法:扩展线性逻辑的概率选择证明理论。 (英语) Zbl 1528.68254号

Geuvers,Herman(编辑),第四届计算和扣除正式结构国际会议,2019年金融稳定与发展会议,德国多特蒙德,2019,6月24-30日。Wadern:达格斯图尔宫(Schloss Dagstuhl)——莱布尼兹·泽特鲁姆(Leibniz-Zentrum für Informatik)。LIPIcs–莱布尼茨国际程序。通知。131,第23条,第16页(2019年)。
MSC公司:第68季度85 03楼52
PDF格式BibTeX公司 XML格式引用
全文: 内政部

概率相干空间中的微分和距离。 (英语) Zbl 1528.68063号

Geuvers,Herman(编辑),第四届计算和扣除正式结构国际会议,2019年金融稳定与发展会议,德国多特蒙德,2019,6月24-30日。Wadern:达格斯图尔宫(Schloss Dagstuhl)——莱布尼兹·泽特鲁姆(Leibniz-Zentrum für Informatik)。LIPIcs–莱布尼茨国际程序。通知。131,第17条,第17页(2019)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

量子编程变得很容易。 (英语) Zbl 1486.68024号

Ehrhard,Thomas(ed.)等人,线性逻辑和应用中的线性与趋势联合国际研讨会论文集,线性-TLLA 2018,英国牛津,2018年7月7日至8日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)292133-147(2019)。
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司 链接

概率(λ)演算的完全抽象模型。 (英语) Zbl 1528.03117号

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

并发博弈中的连续概率分布。 (英语) Zbl 1527.68141号

Staton,Sam(编辑),第34届编程语义数学基础会议论文集(MFPS XXXIV),加拿大哈利法克斯达尔豪西大学,2018年6月6日至9日。阿姆斯特丹:爱思唯尔。电子。注释Theor。计算。科学。341, 321-344 (2018).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

基于符号博弈语义和模型计数的概率分析。 (英语) Zbl 1483.68077号

Patricia Bouyer等人,《第八届游戏、自动机、逻辑和形式验证国际研讨会论文集》,GandALF 2017,意大利罗马,2017年9月20日至22日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)256,1-15(2017)。
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司 链接

从定性语义学到定量语义学。通过改变基础。 (英语) Zbl 1486.68023号

Esparza,Javier(编辑)等人,《软件科学和计算结构基础》。2017年4月22日至29日在瑞典乌普萨拉举行的第20届国际会议FOSSACS 2017,作为欧洲软件理论与实践联合会议ETAPS 2017的一部分。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。10203, 36-52 (2017).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

应用相似性、顺序性和完全抽象。 (英语) Zbl 1444.68116号

Meyer,Roland(编辑)等人,《正确的系统设计》。2015年9月8日至9日,德国奥尔登堡,纪念Ernst-Rüdiger Olderog 60岁生日的研讨会。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。9360, 65-82 (2015).
MSC公司:第68季度85 68甲18
PDF格式BibTeX公司 XML格式引用
全文: 内政部 哈尔

关于量子和概率线性lambda-calculi(扩展摘要)。 (英语) Zbl 1347.68146号

Coecke,Bob(编辑)等人,第五届量子物理和逻辑国际研讨会和第四届计算模型发展研讨会论文集(QPL/DCM 2008),冰岛雷克雅未克,2008年7月12-13日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记270,第1期,121-128(2011)。
MSC公司:2005年第68季度 03B40型 68问题55 81页68
PDF格式BibTeX公司 XML格式引用
全文: 内政部

量子数据的游戏语义。 (英语) Zbl 1347.68212号

Coecke,Bob(ed.)等人,《第五届量子物理和逻辑国际研讨会论文集》和第四届计算模型发展研讨会论文集(QPL/DCM 2008),冰岛雷克雅未克,2008年7月12-13日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》270,第1期,第41-57页(2011年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

量子商店的游戏语义。 (英语) Zbl 1286.81044号

Bauer,Andrej(编辑)等人,《第24届编程语义数学基础会议论文集》(MFPS XXIV),美国宾夕法尼亚州费城,2008年5月22日至25日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记218153-170(2008)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

关于量子线性函数语言的完全抽象模型(扩展抽象)。 (英语) Zbl 1279.68046号

Peter Selinger(编辑),《第四届量子编程语言国际研讨会论文集》(QPL 2006),英国牛津,2006年7月17日至19日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记210,123-137(2008)。
MSC公司:68甲18 68甲15 81页68
PDF格式BibTeX公司 XML格式引用
全文: 内政部

概率演算和事件结构。 (英语) Zbl 1279.68269号

Aldini,Alessandro(编辑)等人,第五届编程语言定量方面研讨会论文集(QAPL 2007),葡萄牙布拉加,2007年3月24日至25日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》190,第3期,147-166(2007)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

出版年份