×

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

单子稳定图类的Flipper游戏。 arXiv公司:2301.13735

预打印,arXiv:2301.13735[cs.LO](2023)。
BibTeX公司 引用
全文: arXiv公司

秩宽满足稳定性。 (英语) 兹伯利07788458

Marx,Dániel(编辑),第32届ACM-SIAM离散算法年度研讨会论文集,SODA 2021,美国弗吉尼亚州亚历山大市,虚拟,2021年1月10日至13日。宾夕法尼亚州费城:工业和应用数学学会(SIAM);纽约州纽约市:计算机协会(ACM)。2014-2033 (2021).
MSC公司:68瓦xx
PDF格式BibTeX公司 XML格式引用

控制和独立的渐进算法。 (英语) Zbl 07559136号

Niedermeier,Rolf(ed.)等人,第36届计算机科学理论方面国际研讨会,STACS 2019,2019年3月13-16日,德国柏林。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。126,第27条,第16页(2019年)。
MSC公司:68季度xx
PDF格式BibTeX公司 XML格式引用

适当的次闭图类上中心着色的多项式界。 (英语) Zbl 1434.05056号

Chan,Timothy M.(编辑),《第30届ACM-SIAM离散算法年度研讨会论文集》,2019年1月6日至9日,美国加利福尼亚州圣地亚哥,SODA 2019。宾夕法尼亚州费城:工业和应用数学学会(SIAM);纽约州纽约市:计算机协会(ACM)。1501-1520 (2019).
PDF格式BibTeX公司 XML格式引用

有界展开类的一阶解释。 (英语) 兹比尔1499.68202

Chatzigiannakis,Ioannis(编辑)等人,第45届自动化、语言和编程国际研讨会。2018年7月9日至13日,捷克共和国布拉格,ICALP 2018。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。107,第126条,第14页(2018年)。
PDF格式BibTeX公司 XML格式引用
全文: DOI程序

关于稀疏图中类型的数量。 (英语) Zbl 1453.03031号

2018年第33届ACM/IEEE计算机科学逻辑研讨会论文集,2018年7月9日至12日,英国牛津,LICS 2018。纽约州纽约市:计算机协会(ACM)。799-808 (2018).
PDF格式BibTeX公司 XML格式引用

稀疏结构模型检测的参数化电路复杂性。 (英语) Zbl 1497.68319号

2018年第33届ACM/IEEE计算机科学逻辑研讨会论文集,2018年7月9日至12日,英国牛津,LICS 2018。纽约州纽约市:计算机协会(ACM)。789-798 (2018).
PDF格式BibTeX公司 XML格式引用

有界展开图类上连续不变一阶公式的模型检验。 (英语) Zbl 1460.68066号

2017年第32届ACM/IEEE计算机科学逻辑研讨会论文集,2017年6月20日至23日,冰岛雷克雅未克雷克雅维克大学,LICS 2017。新泽西州皮斯卡塔韦:IEEE出版社。第55条,第11页(2017)。
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司 链接

无处稠密图类的邻域复杂性和核化。 (英语) Zbl 1441.68176号

Chatzigianakis,Ioannis(编辑)等人,第44届自动化、语言和编程国际研讨会,2017年ICALP,波兰华沙,2017年7月10日至14日。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。80,第63条,第14页(2017年)。
PDF格式BibTeX公司 XML格式引用

在低等级宽度的颜色上。 (英语) Zbl 1483.05185号

Bodlaender,Hans L.(编辑)等人,《计算机科学中的图论概念》。2017年6月21日至23日,第43届国际研讨会,2017年工作组,荷兰埃因霍温。修订了选定的论文。查姆:斯普林格。莱克特。注释计算。科学。10520, 372-385 (2017).
MSC公司:05C85号 05C15号
PDF格式BibTeX公司 XML格式引用

有界扩张类上的广义着色数。 (英语) Zbl 1398.05089号

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

核化和稀疏性:支配集的情况。 (英语) Zbl 1388.68110号

Ollinger,Nicolas(编辑)等人,第33届计算机科学理论方面研讨会,2016年STACS,法国奥尔良,2016年2月17日至20日。瓦登:达格斯图尔宫(Schloss Dagstuhl)——莱布尼茨天顶宫(Leibniz Zentrum für Informatik)(ISBN 978-3-95977-001-9)。LIPIcs–Leibniz International Proceedings in Informatics莱布尼茨国际信息学杂志47,第31条,第14页(2016)。
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型

数据库

全部的 前5名

出版年份

主字段