×

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

路径宽度和树宽度的有限整数索引。 (英语) 兹比尔1456.68129

Cygan,Marek(编辑)等人,《参数化和精确计算》。2014年9月10日至12日在波兰弗罗茨瓦夫举行的IPEC 2014第九届国际研讨会。修订了选定的论文。查姆:斯普林格。莱克特。注释计算。科学。8894, 258-269 (2014).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

更快的偏序集存在FO模型检查。 (英语) Zbl 1433.68216号

Ahn,Hee-Kap(编辑)等人,《算法与计算》。2014年12月15日至17日在韩国全州举行的第25届国际研讨会,ISAAC 2014。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。8889, 441-451 (2014).
PDF格式BibTeX公司 XML格式引用

在稀疏图类上使用结构参数进行核化。 (英语) Zbl 1353.68126号

Bodlaender,Hans L.(编辑)等人,《算法——2013年欧洲账户体系》。2013年9月2日至4日,第21届欧洲年会,法国索菲亚·安蒂波利斯。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-40449-8/pbk)。计算机科学课堂讲稿8125529-540(2013)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

筛选结果依据…

文档类型

出版年份