塞缪尔·梅尔滕;亚历山大·巴格纳尔;戈登·斯图尔特 毫无遗憾地验证了学习。从算法博弈论到具有机械化复杂性保证的分布式系统。 (英语) 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) 全文: 内政部
亚历山大·巴格纳尔;塞缪尔·梅尔滕;戈登·斯图尔特 中的算法博弈理论库Ssreflect/Coq公司. (英语) Zbl 1451.68335号 J.福尔马利兹。原因。 10, 67-95 (2017).MSC公司:68V20型 68伏15 91A68型 PDF格式BibTeX公司 XML格式引用 \textit{A.Bagnall}等人,J.Formaliz。原因。10,67-95(2017年;兹比尔1451.68335) 全文: 内政部
亚历山大·巴格纳尔;塞缪尔·梅尔滕;戈登·斯图尔特 简要声明:认证乘法权重更新:验证学习无遗憾。 (英语) Zbl 1380.68329号 2017年7月25日至27日在美国华盛顿特区举行的2017年ACM分布式计算原理研讨会论文集,PODC’17。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-4992-5)。459-461 (2017).MSC公司:68T05型 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{A.Bagnall}等人,in:第36届ACM分布式计算原理研讨会论文集,PODC’17,华盛顿特区,美国,2017年7月25-27日。纽约州纽约市:计算机协会(ACM)。459--461(2017;Zbl 1380.68329) 全文: 内政部