×

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

获胜策略的时间-软件统一化。 (英语) Zbl 07633508号

Anselmo,Marcella(编辑)等人,《超越可计算性的视野》。第十六届欧洲可计算性会议,CiE 2020,意大利费西亚诺,2020年6月29日至7月3日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12098, 193-204 (2020).
MSC公司:68季度xx
PDF格式BibTeX公司 XML格式引用

游戏中,您可以使用与竞技场无关的有限内存进行最佳游戏。 (英语) Zbl 07559480号

Konnov,Igor(编辑)等人,第31届并发理论国际会议。CONCUR 2020,2020年9月1日至4日,奥地利维也纳,虚拟会议。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。171,第24条,第22页(2020年)。
MSC公司:68问题85
PDF格式BibTeX公司 XML格式引用
全文: 内政部

通过获胜条件的布尔组合扩展有限记忆确定性。 (英语) Zbl 1528.91019号

Ganguly,Sumit(编辑)等人,第38届IARCS软件技术和理论计算机科学基础年会,2018年12月11-13日,印度艾哈迈达巴德,FSTTCS 2018。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。122,第38条,第20页(2018年)。
MSC公司:91年43月 91A80型
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型

出版年份

主字段