伊曼纽尔·基伦斯基 一维防护碎片。 (英语) 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格式引用 \textit{E.Kieronski},LIPIcs——莱布尼茨国际程序。通知。138,第16条,第14页(2019年;Zbl 07561660) 全文: 内政部 arXiv公司
伊曼纽尔·基伦斯基;安蒂·库西斯托 树上的一维逻辑。 (英语) 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年)。MSC公司:2017年第68季度 03B20型 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{E.Kieron ski}和\textit{A.Kuusisto},LIPIcs——莱布尼茨国际程序。通知。83,第64条,第13页(2017年;Zbl 1441.68075) 全文: 内政部