×

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

一维防护碎片。 (英语) Zbl 07561660号

Rossmanith,Peter(ed.)等人,第44届计算机科学数学基础国际研讨会,2019年MFCS,德国亚琛,2019月26日至30日。诉讼程序。Wadern:达格斯图尔宫(Schloss Dagstuhl)——莱布尼兹·泽特鲁姆(Leibniz-Zentrum für Informatik)。LIPIcs–莱布尼茨国际程序。通知。138,第16条,第14页(2019年)。
MSC公司:68季度xx
PDF格式BibTeX公司 XML格式引用

树上的一维逻辑。 (英语) Zbl 1441.68075号

Larsen,Kim G.(编辑)等人,第42届计算机科学数学基础国际研讨会,2017年8月21日至25日,丹麦奥尔堡,MFCS 2017。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。83,第64条,第13页(2017年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

出版年份

主字段