×

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

安全多方计算:输出的信息流和博弈论。 (英语) Zbl 1444.68014号

Maffei,Matteo(编辑)等人,《安全与信任原则》。2017年4月22日至29日在瑞典乌普萨拉举行的第六届国际会议,即2017年POST,是欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。10204, 71-92 (2017).
PDF格式BibTeX公司 XML格式引用
全文: DOI程序 链接

奇偶博弈的部分求解器:有效的多项式时间合成。 (英语) Zbl 1478.68139号

Cantone,Domenico(编辑)等人,第七届游戏、自动机、逻辑和形式验证国际研讨会论文集,GandALF 2016,卡塔尼亚,意大利,2016年9月14-16日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)2261-15(2016)。
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司 链接

筛选结果依据…

文档类型

出版年份

主字段

软件