佩琳娜·托尔马赫;李毅;林尚伟;刘,杨 可组合DeFi协议的形式化分析。 (英语) 兹比尔1492.91461 Bernhard,Matthew(编辑)等人,《金融加密和数据安全》。FC 2021国际研讨会。Codecfin、DeFi、VOTING和WTSC,虚拟活动,2021年3月5日。修订了选定的论文。柏林:斯普林格。莱克特。注释计算。科学。12676, 149-161 (2021).MSC公司:91G99型 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{P.Tolmach}等人,Lect。注释计算。科学。12676149-161(2021年;Zbl 1492.91461) 全文: 内政部 arXiv公司
约阿金·加巴罗;斯图尔特,艾伦 建模web服务不确定性:天使/守护进程方法。 (英语) Zbl 1484.68022号 计算。科学。版次。 39,文章ID 100355,第15页(2021).MSC公司:68英里11 91A80型 91B64型 PDF格式BibTeX公司 XML格式引用 \textit{J.Gabarro}和\textit{A.Stewart},计算。科学。第39版,文章ID 100355,第15页(2021年;Zbl 1484.68022) 全文: 内政部
马里奥·格雷舍尔;拉杜·卡利内斯库;吉姆·伍德科克 RiskStructures:风险感知机器的设计代数。 (英语) Zbl 1521.93120号 正式Asp。计算。 33,编号4-5763-802(2021).MSC公司:93C85号 91英镑05 PDF格式BibTeX公司 XML格式引用 \textit{M.Gleirscher}等人,《形式语法》。计算。33,编号4--5,763--802(2021;Zbl 1521.93120) 全文: 内政部 arXiv公司
弗朗西斯科·贝拉迪内利;罗德卡·孔杜拉克;柯特林·迪马;沃伊切赫·贾姆罗加;迈克尔·克纳皮克 通过应用三选票投票协议验证战略能力的相互模拟。 (英语) Zbl 1497.68287号 Inf.计算。 276,文章ID 104552,第25页(2021).MSC公司:60年第68季度 03B44号 68T42型 91B12号机组 PDF格式BibTeX公司 XML格式引用 \textit{F.Belardinelli}等人,《信息计算》。276,文章ID 104552,25 p.(2021;Zbl 1497.68287) 全文: 内政部 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年;兹比尔1508.03065) 全文: 内政部 arXiv公司
伯恩德·芬克贝纳;奥尔德罗格(Ernst-Rüdiger Olderog) Petri游戏:具有因果记忆的分布式系统的合成。 (英语) Zbl 1362.68211号 Inf.计算。 253,第2部分,181-203(2017).MSC公司:68问题85 2017年第68季度 91A43型 PDF格式BibTeX公司 XML格式引用 \textit{B.Finkbeiner}和\textit{E.-R.Olderog},Inf.Comput。253,第2部分,181--203(2017年;兹bl 1362.68211) 全文: 内政部 arXiv公司
沈佳军;冯东琴 基于随机博弈理论的CSP脆弱性分析。 (英语) Zbl 1398.93315号 控制科学杂志。工程师。 2016年,文章ID 4147251,12 p.(2016).MSC公司:93E03型 91A15型 94A62型 90B18号机组 68M10个 PDF格式BibTeX公司 XML格式引用 \textit{J.Shen}和textit{D.Feng},J.控制科学。Eng.2016,文章ID 4147251,12 p.(2016;Zbl 1398.93315) 全文: 内政部
约翰·格兰特;萨里特·克劳斯;迈克尔·伍尔德里奇;伊农·扎克曼 通过共享信息操纵游戏。 (英语) Zbl 1329.91007号 螺柱日志。 102,第2期,267-295(2014).MSC公司:91A10号 03B05号 03B42型 91A28型 PDF格式BibTeX公司 XML格式引用 \textit{J.Grant}等人,研究日志。102,第2号,267--295(2014;Zbl 1329.91007) 全文: 内政部
格拉齐·佩雷拉·迪穆罗;达罗查·科斯塔(da Rocha Costa)、安东尼奥·卡洛斯(António Carlos);卢西亚诺,瓦尔加斯·贡萨尔维斯;罗德里格斯·佩雷拉,迭戈 认识和学习社会交换策略的模型,以调节开放代理社会中的社会互动。 (英语) Zbl 1270.91074号 J.布拉兹。计算。Soc公司。 17,第3期,143-161(2011).MSC公司:91天10分 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{G.Pereira Dimuro}等人,J.Braz。计算。Soc.17,No.3,143--161(2011;Zbl 1270.91074) 全文: 内政部
富兰克林·卡马乔;拉蒙皮诺·佩雷斯 显性似然规则和及物性。 (英语) Zbl 1242.91042号 J.应用。非类别。日志。 21,编号3-4,355-373(2011).MSC公司:91B06型 91英镑 PDF格式BibTeX公司 XML格式引用 \textit{F.Camacho}和\textit{R.Pino Pérez},J.Appl。非类别。日志。21,编号3--4,355--373(2011;Zbl 1242.91042) 全文: 内政部
皮埃尔·克莱兰堡;哈默(Russ Harmer) 竞技场游戏中的全能。 (英语) Zbl 1225.03029号 Ann.纯粹应用。逻辑 161,第5号,673-689(2010).MSC公司:03B70号 03B40型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{P.Clairambault}和\textit{R.Harmer},Ann.Pure Appl。逻辑161,No.5,673--689(2010;Zbl 1225.03029) 全文: 内政部 哈尔
阿扎尔,S。;A.麦克伦南。;雷夫·J·H·。 非合作博弈中的均衡计算。 (英语) Zbl 1121.91006号 计算。数学。申请。 50,编号5-6,823-854(2005).MSC公司:91A10号 91A18号 PDF格式BibTeX公司 XML格式引用 \textit{S.Azhar}等人,计算。数学。申请。50,编号5--6823--854(2005;Zbl 1121.91006) 全文: 内政部
萨姆森·艾布拉姆斯基;拉德哈·贾加迪桑;帕斯夸尔马拉卡里亚 PCF的完全抽象。 (英语) Zbl 1006.68028号 Inf.计算。 163,第2号,409-470(2000).MSC公司:68甲18 03B40型 03D20日 18立方厘米50 18D20天 2005年第68季度 第68季度55 03B70号 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{S.Abramsky}等人,《信息计算》。163,第2号,409--470(2000;Zbl 1006.68028) 全文: 内政部 链接
回来了,拉尔夫·约翰;约阿金·冯·赖特 合同、游戏和改进。 (英语) Zbl 1046.68571号 Inf.计算。 156,编号1-2,25-45(2000).MSC公司:第68季度55 60年第68季度 68问题85 91A05型 PDF格式BibTeX公司 XML格式引用 \textit{R.-J.Back}和\textit{J.von Wright},Inf.Compute。156,编号1--2,25-45(2000;Zbl 1046.68571) 全文: 内政部
蒙德勒,Dov;莫舍·坦尼霍尔茨 分布式游戏。 (英语) Zbl 0937.91011号 游戏经济。行为。 28,第1期,第55-72页(1999年).MSC公司:91A06型 PDF格式BibTeX公司 XML格式引用 \textit{D.Monderer}和\textit{M.Tennenholtz},游戏经济。行为。28,第1号,55--72(1999;Zbl 0937.91011) 全文: 内政部 链接
杰里·博纳。;曼努埃尔·S·桑托斯。 关于计算在经济理论中的作用。 (英语) Zbl 0883.90056号 《经济学杂志》。理论 72,第2期,241-281(1997).MSC公司:91B99型 65立方厘米20 90-08年 PDF格式BibTeX公司 XML格式引用 \textit{J.L.Bona}和\textit{M.S.Santos},J.Econ。理论72,第2号,241--281(1997;Zbl 0883.90056) 全文: 内政部
克里斯·伯琴霍尔 模块化技术变革和遗传算法。 (英语) Zbl 0840.90032号 计算。经济。 8,第3期,233-253(1995年).MSC公司:91磅62 92B20型 91E40型 PDF格式BibTeX公司 XML格式引用 \textit{C.Birchenhall},计算。经济。8,第3号,233--253(1995;Zbl 0840.90032) 全文: 内政部
Aviezri S.弗伦克尔。 Wythoff游戏、连续分数、雪松和斐波那契搜索。 (英语) Zbl 0557.90107号 西奥。计算。科学。 30, 49-73 (1984). 审核人:I.德拉甘 MSC公司:91A05型 11页A55 65年第68季度 91A20型 05二氧化碳 PDF格式BibTeX公司 XML格式引用 \textit{A.S.Fraenkel},Theor(西奥)。计算。科学。30、49——73(1984年;Zbl 0557.90107) 全文: 内政部
理查德·雷德纳(Richard E.Ladner)。 通信顺序过程系统中问题的复杂性。 (英语) Zbl 0448.68012号 J.计算。系统。科学。 21, 179-194 (1980).MSC公司:65年第68季度 91A80型 68N25号 PDF格式BibTeX公司 XML格式引用 \textit{R.E.Ladner},J.计算。系统。科学。21179--194(1980;Zbl 0448.68012) 全文: 内政部