×

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

拓扑不动点逻辑的游戏。 (英语) Zbl 1478.03064号

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

筛选结果依据…

文档类型

出版年份