×

找到19个文档（结果1-19）

最新 引文 关联
克里斯托夫·伯克霍尔茨;尼科尔·施韦卡特

带FPT预处理的恒定延迟枚举用于有界子模宽度的联合查询。 （英语） Zbl 07561702号

Rossmanith，Peter（ed.）等人，第44届计算机科学数学基础国际研讨会，2019年MFCS，德国亚琛，2019月26日至30日。诉讼程序。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。138，第58条，第15页（2019年）。
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit｛C.Berkholz｝和\textit｛N.Schweikardt｝，LIPIcs——莱布尼茨国际期刊。通知。138，第58条，第15页（2019年；Zbl 07561702）
全文： 内政部 arXiv公司
加亚尔斯克，雅库布;斯蒂芬·克鲁泽;雅罗斯拉夫Nešetřil;帕特丽斯·奥斯纳·德门德斯;米查尔·皮里普祖克;塞巴斯蒂安·西伯茨;西门托伦奇克

有界展开类的一阶解释。 （英语） Zbl 1499.68202号

Chatzigiannakis，Ioannis（编辑）等人，第45届自动化、语言和编程国际研讨会。2018年7月9日至13日，捷克共和国布拉格，ICALP 2018。诉讼程序。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。LIPIcs–莱布尼茨国际程序。通知。107，第126条，第14页（2018年）。
MSC公司：60年第68季度 03B70号 05C75号
PDF格式BibTeX公司 XML格式引用
\textit｛J.Gajarský｝等人，LIPIcs——莱布尼茨国际会议记录。通知。107，第126条，第14页（2018；Zbl 1499.68202）
全文： 内政部
安托万·阿马里利;皮埃尔·布赫斯;斯特凡·门格尔

重新标记下的树上的枚举。 （英语） Zbl 1489.68054号

Kimelfeld，Benny（编辑）等人，第21届数据库理论国际会议，2018年ICDT，奥地利维也纳，2018年3月26-29日。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。LIPIcs–莱布尼茨国际程序。通知。98，第5条，第18页（2018年）。
MSC公司：68第05页 03B70号 68卢比
PDF格式BibTeX公司 XML格式引用
\textit{A.Amarilli}等人，LIPIcs——莱布尼茨国际程序。通知。98，第5条，第18页（2018；Zbl 1489.68054）
全文： 内政部 arXiv公司
纳迪亚·克里诺;马库斯·克雷尔;莱因哈德，皮克勒;塞巴斯蒂安·斯科里泰克;赫里贝特·沃尔默

关于硬枚举问题的复杂性。 （英语） Zbl 1485.68105号

Drewes，Frank（编辑）等人，《语言与自动机理论与应用》。2017年3月6日至9日在瑞典乌梅奥举行的2017年拉丁美洲旅游协会第11届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10168, 183-195 (2017).
MSC公司：第68季度25 2015年第68季度 2017年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛N.Creignou｝等人，Lect。注释计算。科学。10168、183--195（2017；Zbl 1485.68105）
全文： 内政部 arXiv公司
布鲁诺·库塞尔;西里尔·加沃维尔;马马杜·穆斯塔法·坎特

紧凑的标签用于高效的一阶模型检查。 （英语） Zbl 1237.90191号

J.库姆。最佳方案。 21，第1期，第19-46页（2011年）.
审核人：马蒂亚斯·埃尔戈特（奥克兰）
MSC公司：90立方厘米27 60年第68季度 68兰特
PDF格式BibTeX公司 XML格式引用
\textit{B.Courcelle}等人，J.Comb。最佳方案。21、1号、19-46（2011；Zbl 1237.90191）
全文： 内政部 arXiv公司
我，游击队员。;Cégielski，P。

窗口和切片中包含树。 （英语。俄文原件） Zbl 1178.68175号

J.数学。科学。，纽约 158，第5号，623-632（2009）; Zap的翻译。诺什。塞明。POMI 358，38-53（2008）。
MSC公司：68第05页 第68季度25 68周05
PDF格式BibTeX公司 XML格式引用
\textit{I.Guessarian}和\textit{P.Cégielski}，J.Math。科学。，纽约158，No.5，623--632（2009；Zbl 1178.68175）；Zap的翻译。诺什。塞明。POMI 358，38--53（2008）
全文： 内政部
布鲁诺·库塞尔;西里尔·加沃维尔;马马杜·穆斯塔法·坎特

使用短标签进行高效的一阶模型检查。 （英语） Zbl 1143.68448号

Preparia，Franco P.（编辑）等人，《算法的前沿》。第二届年度国际研讨会，2008年6月19日至21日，中国长沙，一汽2008。程序。柏林：施普林格出版社（ISBN 978-3-540-69310-9/pbk）。计算机科学课堂讲稿5059159-170（2008）。
MSC公司：60年第68季度 第68季度25 68兰特
PDF格式BibTeX公司 XML格式引用
\textit{B.Courcelle}等人，Lect。注释计算。科学。5059159--170（2008年；Zbl 1143.68448）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段