×

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

有限状态和可定义获胜策略的综合。 (英语) 兹比尔1250.03015

Kannan,Ravi(ed.)等人,2009年12月15日至17日在印度坎普尔举行的IARCS软件技术和理论计算机科学基础年会(FSTTCS 2009)。瓦登:达格斯图尔宫(Schloss Dagstuhl)——莱布尼茨天顶宫(Leibniz Zentrum für Informatik)(ISBN 978-3-939897-13-2)。LIPIcs–莱布尼茨国际信息学论文集4,359-370,仅电子版(2009年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

教会问题的决定性延伸。 (英语) Zbl 1257.03034号

Grädel,Erich(编辑)等人,《计算机科学逻辑》。2009年9月7日至11日在葡萄牙科英布拉举行的第23届CSL国际研讨会,EACSL第18届年会。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-04026-9/pbk)。计算机科学课堂讲稿5771,424-439(2009)。
MSC公司:03B25号
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

出版年份

主字段