×

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

最新的 引文 关联
马西莫·巴托莱蒂;安德烈亚·布拉夏利;克里斯蒂安·勒波雷;阿尔切斯特·斯卡拉斯;罗伯托·祖尼诺

Algorand智能合约的正式模型。 （英语） 兹伯利07543949

Borisov，Nikita（编辑）等人，《金融加密和数据安全》。第25届国际会议，FC 2021，虚拟活动，2021年3月1日至5日。修订了选定的论文。第一部分柏林：施普林格。莱克特。注释计算。科学。12674, 93-114 (2021).
MSC公司：68第25页 91Bxx号 94A60型
PDF格式BibTeX公司 XML格式引用
\textit{M.Bartoletti}等人，Lect。注释计算。科学。12674，93-114（2021；Zbl 07543949）
全文： 内政部 arXiv公司 链接
罗斯·波勒;安德烈·普拉泽

建构性游戏逻辑。 （英语） Zbl 1508.03065号

Müller，Peter（编辑），《编程语言和系统》。2020年4月25日至30日在爱尔兰都柏林举行的第29届欧洲编程研讨会（ESOP 2020），是欧洲软件理论与实践联合会议（ETAPS 2020）的一部分。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12075, 84-111 (2020).
MSC公司：03B70号 68号30 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{R.Bohrer}和\textit{A.Platzer}，莱克特。注释计算。科学。12075，84-111（2020；Zbl 1508.03065）
全文： 内政部 arXiv公司
塞缪尔·梅尔滕;亚历山大·巴格纳尔;戈登·斯图尔特

毫无遗憾地验证了学习。从算法博弈论到具有机械化复杂性保证的分布式系统。 （英语） Zbl 1418.68018号

阿马尔·艾哈迈德（编辑），《编程语言和系统》。2018年4月14日至20日在希腊塞萨洛尼基举行的第27届欧洲编程研讨会（ESOP 2018），作为欧洲软件理论与实践联合会议的一部分。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10801, 561-588 (2018).
MSC公司：64岁以下 68T05型 68吨15 91A10号 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{S.Merten}等人，Lect。注释计算。科学。10801、561--588（2018；Zbl 1418.68018）
全文： 内政部
朱利安·帕塞特;塞萨里·卡利西克

走向博弈论的正式基础。 （英语） Zbl 1511.68337号

Avigad，Jeremy（编辑）等，交互式定理证明。2018年7月9日至12日在英国牛津举行的2018年第九届国际会议ITP，作为联邦逻辑会议的一部分。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10895, 495-503 (2018).
MSC公司：68V20型 91A30型 91B16号
PDF格式BibTeX公司 XML格式引用
\textit{J.Parsert}和\textit{C.Kaliszyk}，莱克特。注释计算。科学。10895、495--503（2018年；Zbl 1511.68337）
全文： 内政部 链接
勒鲁（Le Roux，Stéphane）;埃里克·马丁·多雷尔;斯马乌斯，Jan-Georg

Coq和Isabelle中Nash均衡的存在性定理。 （英语） Zbl 1483.91014号

Patricia Bouyer等人，《第八届游戏、自动机、逻辑和形式验证国际研讨会论文集》，GandALF 2017，意大利罗马，2017年9月20日至22日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）25646-60（2017）。
MSC公司：91A10号 68V20型
PDF格式BibTeX公司 XML格式引用
\textit{S.Le Roux}等人，《电子》。程序。西奥。计算。科学。（EPTCS）256，46--60（2017；Zbl 1483.91014）
全文： arXiv公司 链接
德克·帕丁森;穆凯什·蒂瓦里

Schulze投票作为携带证据的计算。 （英语） Zbl 1484.68317号

Ayala-Rincón，Mauricio（编辑）等人，交互式定理证明。2017年9月26日至29日，第八届国际会议，ITP 2017，巴西巴西利亚。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10499, 410-426 (2017).
MSC公司：68V20型 60年第68季度 91B12号机组
PDF格式BibTeX公司 XML格式引用
\textit{D.帕丁森}和\textit{M.蒂瓦里}，莱克特。注释计算。科学。10499，410-426（2017；Zbl 1484.68317）
全文： 内政部
帕特里克·巴尔;乔斯特·伯特霍尔德;马丁·埃尔斯曼

金融多方合同的认证符号管理。 （英语） Zbl 1360.68356号

2015年9月1日至3日，加拿大温哥华，ICFP’15，第20届ACM SIGPLAN功能编程国际会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-3669-7）。315-327 (2015).
MSC公司：68号30 68甲18 68问题55 91B40型 91G99型
PDF格式BibTeX公司 XML格式引用
\textit{P.Bahr}等人，in：第20届ACM SIGPLAN函数编程国际会议论文集，ICFP’15，加拿大温哥华，2015年9月1日至3日。纽约州纽约市：计算机协会（ACM）。315--327（2015；Zbl 1360.68356）
全文： 内政部
什洛米·多列夫;Panagopoulou，Panagiota N。;米卡·拉比;Elad M.席勒。;保罗·G·斯皮拉基斯。

可证明理性行为的理性权威。 （英语） Zbl 1331.68280号

Zaroliagis，Christos（编辑）等人，《算法、概率、网络和游戏》。在保罗·G·斯皮拉基斯60岁生日之际献给他的科学论文。查姆：施普林格（ISBN 978-3-319-24023-7/pbk；978-3-3169-24024-4/电子书）。计算机科学讲座笔记9295，33-48（2015）。
MSC公司：68单位35 64岁以下 60年第68季度 91A10号 91A26型
PDF格式BibTeX公司 XML格式引用
\textit{S.Dolev}等人，Lect。注释计算。科学。9295，33-48（2015年；兹比尔1331.68280）
全文： 内政部 链接
勒鲁（Le Roux，Stéphane）

非周期偏好和序列纳什均衡的存在性：形式上和构造上的等价。 （英语） Zbl 1252.91015号

Berghofer，Stefan（编辑）等人，《高阶逻辑中的定理证明》。2009年8月17日至20日在德国慕尼黑举行的第22届TPHOL国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-03358-2/pbk）。计算机科学讲座笔记5674293-309（2009）。
MSC公司：91A18号 68吨15
PDF格式BibTeX公司 XML格式引用
\文本｛S.Le Roux｝，勒克特。注释计算。科学。5674、293--309（2009年；Zbl 1252.91015）
全文： 内政部
勒鲁（Le Roux，Stéphane）

部分序上序列博弈的非确定性和纳什均衡。 （英语） Zbl 1193.91020号

David，René（编辑）等人，《计算逻辑与应用》，CLA’05。第三次研讨会论文集，法国尚贝里，2005年6月20日至21日。南希：协会。离散数学与理论计算机科学（DMTCS）。离散数学和理论计算机科学。AF会议记录，77-86，仅电子版（2006年）。
MSC公司：91A18号 91A20型 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{S.Le Roux}，in：计算逻辑与应用，CLA’05。第三次研讨会会议记录，法国香槟，2005年6月20日至21日。南希：协会。离散数学与理论计算机科学（DMTCS）。77-86（2006年；兹bl 1193.91020）
全文： 链接

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件