爱德华·博内;简·德雷尔;加亚尔斯克,雅库布;斯蒂芬·克鲁泽;尼古拉斯·马尔曼;西蒙·皮埃尔;西门托伦奇克 有界局部列宽类解释的模型检验。 arXiv公司:2202.13014 预印本,arXiv:22022.13014[cs.DS](2022)。理学硕士:05C85号 BibTeX公司 引用 \textit{E.Bonnet}等人,“有界局部Cliquewidth类解释的模型检查”,预打印,arXiv:22022.13014[cs.DS](2022) 全文: arXiv公司 OA许可证
加亚尔斯克,雅库布;斯蒂芬·克鲁泽;雅罗斯拉夫·内舍特伊尔;帕特丽斯·奥斯纳·德门德斯;Micha Pilipczuk;塞巴斯蒂安·西伯茨;西门托伦奇克 有界展开类的一阶解释。 (英语) Zbl 1446.68094号 ACM事务处理。计算。日志。 21,第4号,第29条,第41页(2020年).理学硕士:第68季度第60季度 03B70号 05C75号 PDF格式BibTeX公司 XML格式引用 \textit{J.Gajarský}等人,ACM Trans。计算。日志。21,第4号,第29条,第41页(2020年;Zbl 1446.68094) 全文: 内政部 arXiv公司 链接
加亚尔斯克,雅库布;斯蒂芬·克鲁泽;雅罗斯拉夫·内舍特伊尔;帕特丽斯·奥斯纳·德门德斯;迈克尔·皮利普祖克;塞巴斯蒂安·西伯茨;西门托伦奇克 有界展开类的一阶解释。 (英语) Zbl 1499.68202号 Chatzigiannakis,Ioannis(编辑)等人,第45届自动化、语言和编程国际研讨会。2018年7月9日至13日,捷克共和国布拉格,ICALP 2018。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。107,第126条,第14页(2018年)。理学硕士:第68季度第60季度 03B70号 05C75号 PDF格式BibTeX公司 XML格式引用 \textit{J.Gajarskí}等人,LIPIcs——莱布尼茨国际程序。通知。107,第126条,第14页(2018;Zbl 1499.68202) 全文: 内政部