×

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

广义Büchi对策的条件最优算法。 (英语) Zbl 1398.68390号

Faliszewski,Piotr(编辑)等人,第41届计算机科学数学基础国际研讨会,2016年MFCS,波兰克拉科夫,2016年8月22日至26日。诉讼程序。瓦登:达格斯图尔宫(Schloss Dagstuhl)——莱布尼茨天顶宫(Leibniz Zentrum für Informatik)(ISBN 978-3-95977-016-3)。LIPIcs–莱布尼茨国际信息学论文集58,第25条,第15页(2016年)。
PDF格式BibTeX公司 XML格式引用

根据语言中不可表达的时间属性验证语言L中的规范。 (英语。俄文原件) Zbl 1185.68410号

赛博。系统。分析。 45,第5期,671-679(2009); 翻译自Kibern。修女。分析。2009年,第5期,第3-12页(2009年)。
MSC公司:60年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

出版年份