×

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

重温随机计时游戏。 (英语) Zbl 1398.91054号

Faliszewski,Piotr(编辑)等人,第41届计算机科学数学基础国际研讨会,2016年MFCS,波兰克拉科夫,2016年8月22日至26日。诉讼程序。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社(ISBN 978-3-95977-016-3)。LIPIcs–莱布尼茨国际信息学学报58,第8条,第14页(2016年)。
PDF格式BibTeX公司 XML格式引用

重新审视定价时间游戏的稳健性。 (英语) Zbl 1366.68145号

Harsha,Prahladh(编辑)等人,第35届IARCS软件技术和理论计算机科学基础年会,FSTTCS 2015,印度班加罗尔,2015年12月16-18日。诉讼程序。瓦登:达格斯图尔宫-莱布尼茨天顶宫(ISBN 978-3-939897-97-2)。LIPIcs–莱布尼茨国际信息学论文集45,261-277(2015)。
PDF格式BibTeX公司 XML格式引用

递归时间自动机的时限可达性问题是不可判定的。 (英语) Zbl 1451.68151号

Dediu,Adrian-Horia(编辑)等人,《语言和自动机理论与应用》。2015年3月2日至6日在法国尼斯举行的2015年拉丁美洲旅游协会第九届国际会议。诉讼程序。柏林:斯普林格。莱克特。票据计算。科学。8977, 237-248 (2015).
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型

出版年份

主字段

软件