阿比塞克·桑卡拉 一阶逻辑前缀类的Feferman-vought分解。 （英语） Zbl 07727823号 J.逻辑语言信息。 32，编号1，147-174（2023）.MSC公司：03C13号机组 03C40号 03元52分 05二氧化碳 05C38号 05C62号 05C69号 05立方厘米75 PDF格式BibTeX公司 XML格式引用 \textit{A.Sankaran}，J.Logic Lang.Inf.32，No.1，147--174（2023年；Zbl 07727823） 全文： 内政部 arXiv公司
朱哈·科廷宁;阿恩·迈尔;亚西尔·马哈茂德 关于依赖逻辑复杂性的参数化视图。 （英语） Zbl 07551715号 Artemov，Sergei（编辑）等人，《计算机科学的逻辑基础》。2022年1月10日至13日，美国佛罗里达州迪尔菲尔德海滩，LFCS 2022国际研讨会。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13137, 125-142 (2022).MSC公司：03B70号 PDF格式BibTeX公司 XML格式引用 \textit{J.Kontinen}等人，Lect。注释计算。科学。13137125-142（2022；Zbl 07551715） 全文： 内政部 arXiv公司 链接
德奥利维拉·奥利维拉，马特乌斯 关于满足CMSO性质的超图。 （英语） Zbl 07471674号 日志。方法计算。科学。 17，第4号，第14号论文，22页（2021年）.MSC公司：03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{M.de Oliveira Oliveila}，日志。方法计算。科学。17，第4号，第14号论文，22页（2021；Zbl 07471674） 全文： arXiv公司 链接
朱利安·格兰奇 有界度类上的后继变一阶逻辑。 （英语） Zbl 1498.03070号 日志。方法计算。科学。 17，第3号，第20号论文，第25页（2021年）.MSC公司：03C13号机组 03B10号机组 03C40号 19年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Grange}，日志。方法计算。科学。17，第3号，第20号论文，第25页（2021年；Zbl 1498.03070） 全文： arXiv公司 链接
陈一佳;弗鲁姆，约格 参数化并行计算和一阶逻辑。 （英语） Zbl 07614718号 Blass，Andreas（编辑）等人，《逻辑与计算领域III。尤里·古雷维奇80岁生日之际的散文集》。查姆：斯普林格。莱克特。注释计算。科学。12180, 57-78 (2020).MSC公司：2015年第68季度 03B10号机组 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{Y.Chen}和\textit{J.Flum}，Lect。注释计算。科学。12180，57-78（2020；Zbl 07614718） 全文： 内政部
雅罗斯拉夫·内舍特伊尔;帕特丽斯·奥斯纳·德门德斯 有界树深度图的结构极限和极限的统一方法。 （英语） Zbl 1491.03004号 美国数学学会回忆录1272.普罗维登斯，RI:美国数学学会（AMS）（ISBN 978-1-4704-4065-7/pbk；978-1-4740-5652-8/电子书）。v、 108页。(2020). 审核人：维拉·科波宁（乌普萨拉） MSC公司：03-02 03C13号机组 03C98号 05C99年 2015年6月 28C05型 PDF格式BibTeX公司 XML格式引用 \textit{J.Nešetřil}和\textit{P.Ossona de Mendez}，有界树深度图的结构极限和极限的统一方法。普罗维登斯，RI:美国数学学会（AMS）（2020；Zbl 1491.03004） 全文： 内政部 arXiv公司
陈一佳;迈克尔·埃尔伯菲尔德;莫里茨·米勒 模型检验有界变量一阶逻辑的参数化空间复杂性。 （英语） Zbl 1494.68164号 日志。方法计算。科学。 15，第3号，第31号论文，29页（2019年）.MSC公司：60年第68季度 03B70号 68年第27季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Chen}等人，Log。方法计算。科学。15，第3号，第31号论文，29页（2019年；Zbl 1494.68164） 全文： 内政部 arXiv公司
萨米尔·达塔;阿尼什·穆克吉;托马斯·施温蒂克;涡流计，尼尔斯;托马斯·泽姆 动态程序的策略：重新开始并应付过去。 （英语） 兹比尔1421.68014 日志。方法计算。科学。 15，第2号，第12号论文，第26页（2019）.MSC公司：68号30 03B70号 第68页，共15页 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{S.Datta}等人，日志。方法计算。科学。15，第2号，第12号论文，第26页（2019年；Zbl 1421.68014） 全文： arXiv公司
罗伯特·加尼安;彼得·赫林;雅罗斯拉夫·内舍特伊尔;Obdr zalek，简;帕特丽斯·奥斯纳·德门德斯 灌木深度：捕捉密集图形的高度。 （英语） Zbl 1515.03150号 日志。方法计算。科学。 15，第1号，第7号论文，第25页（2019）.MSC公司：03C13号机组 05立方厘米75 03B16号 60年第68季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{R.Ganian}等人，日志。方法计算。科学。15，第1号，第7号论文，25页（2019年；Zbl 1515.03150） 全文： arXiv公司
戴维·埃普斯坦;丹尼斯·库兹 \树分解图上MSO问题的（k）-最佳解。 （英语） Zbl 1443.68127号 Lokshtanov，Daniel（编辑）等人，第十二届参数化和精确计算国际研讨会，2017年国际物理工程委员会，奥地利维也纳，2017年9月6日至8日。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。89，第16条，第13页（2018年）。MSC公司：68兰特 03B70号 05C85号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Eppstein}和\textit{D.Kurz}，LIPIcs——莱布尼茨国际程序。通知。89，第16条，第13页（2018；Zbl 1443.68127） 全文： 内政部 arXiv公司
蒂尔·坦托 空间和电路类算法元定理的应用简介。 （英语） Zbl 1461.68249号 算法（巴塞尔） 9，第3号，第44号论文，25页（2016年）.MSC公司：68周01 03B70号 2006年第68季度 2015年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛T.Tantau｝，《算法（巴塞尔）9》，第3期，第44号论文，第25页（2016年；Zbl 1461.68249） 全文： 内政部 OA许可证
迈克尔·埃尔伯菲尔德;马丁·格罗;蒂尔·坦托 其中一阶逻辑和一元二阶逻辑重合。 （英语） Zbl 1407.03003号 ACM事务处理。计算。日志。 17号第4条第25条第18页（2016年）.MSC公司：03B15号机组 03B10号机组 05立方厘米75 PDF格式BibTeX公司 XML格式引用 \textit{M.Elberfeld}等人，《美国医学杂志》。计算。日志。17，第4号，第25条，第18页（2016；Zbl 1407.03003） 全文： 内政部 arXiv公司
阿恩·迈尔;伊琳娜·辛德勒;约翰·施密特;迈克尔·托马斯;赫里贝特·沃尔默 关于非单调逻辑的参数化复杂性。 （英语） Zbl 1361.03036号 架构（architecture）。数学。逻辑 54，编号5-6，685-710（2015）. 审核人：克里斯蒂安·卡鲁德（奥克兰） MSC公司：2015年3月1日 03B42号 03B60号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Meier}等人，Arch。数学。逻辑54，No.5--6，685--710（2015；Zbl 1361.03036） 全文： 内政部
亚历山大·兰格;费利克斯·雷德尔;彼得·罗斯马尼思;索姆纳特·锡达尔 树分解图上MSO模型检验的实用算法。 （英语） Zbl 1302.68184号 计算。科学。版次。 13-14, 39-74 (2014).MSC公司：60年第68季度 03B70号 03B15号机组 05C70号 05C85号 68兰特 68-02 PDF格式BibTeX公司 XML格式引用 \textit{A.Langer}等人，计算。科学。修订版13-14，39-74（2014；兹bl 1302.68184） 全文： 内政部