×

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

可组合DeFi协议的形式化分析。 (英语) 兹比尔1492.91461

Bernhard,Matthew(编辑)等人,《金融加密和数据安全》。FC 2021国际研讨会。Codecfin、DeFi、VOTING和WTSC,虚拟活动,2021年3月5日。修订了选定的论文。柏林:斯普林格。莱克特。注释计算。科学。12676, 149-161 (2021).
MSC公司:91G99型 94A60型
PDF格式BibTeX公司 XML格式引用

建构性游戏逻辑。 (英语) Zbl 1508.03065号

Müller,Peter(编辑),《编程语言和系统》。2020年4月25日至30日在爱尔兰都柏林举行的第29届欧洲编程研讨会(ESOP 2020),是欧洲软件理论与实践联合会议(ETAPS 2020)的一部分。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12075, 84-111 (2020).
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型

全部的 前5名

出版年份