安塞尔姆·哈克；阿恩·迈尔；费比安·米勒；赫里贝特·沃尔默 在一阶团队逻辑中枚举团队。 （英语） Zbl 07587335号 Ann.纯粹应用。逻辑 173，第10号，文章ID 103163，17 p.（2022）.MSC公司：03B70号 2015年1月5日 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Haak}等人，Ann.Pure Appl。逻辑173，第10号，文章ID 103163，17页（2022；Zbl 07587335） 全文： 内政部 arXiv公司
阿诺·杜兰德；安塞尔姆·哈克；朱哈·科廷宁；赫里贝特·沃尔默 #P函数的描述性复杂性：一个新的视角。 （英语） Zbl 1467.68060号 J.计算。系统。科学。 116, 40-54 (2021).MSC公司：19年第68季度 2006年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Durand}等人，《计算杂志》。系统。科学。116、40-54（2021年；Zbl 1467.68060） 全文： 内政部 链接
安塞尔姆·哈克；朱哈·科廷宁；费比安·米勒；赫里贝特·沃尔默；杨，范 一阶团队逻辑中的团队计数。 （英语） Zbl 07561663号 Rossmanith，Peter（ed.）等人，第44届计算机科学数学基础国际研讨会，2019年MFCS，德国亚琛，2019月26日至30日。诉讼程序。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。138，第19条，第15页（2019年）。MSC公司：68季度xx PDF格式BibTeX公司 XML格式引用 \textit{A.Haak}等人，LIPIcs——莱布尼茨国际程序。通知。138，第19条，第15页（2019年；Zbl 07561663） 全文： 内政部 arXiv公司
纳迪亚·克里诺；马库斯·克雷尔；莱因哈德·皮克勒；塞巴斯蒂安·斯克里泰克；赫里贝特·沃尔默 硬枚举问题的复杂性理论。 （英语） Zbl 1419.05016号 离散应用程序。数学。 268, 191-209 (2019).MSC公司：2015年1月5日 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Creignou}等人，《离散应用》。数学。268191-209（2019年；Zbl 1419.05016） 全文： 内政部 arXiv公司
纳迪亚·克里诺；马库斯·克雷尔；莱因哈德·皮克勒；塞巴斯蒂安·斯克里泰克；赫里贝特·沃尔默 关于硬枚举问题的复杂性。 （英语） Zbl 1485.68105号 Drewes，Frank（编辑）等人，《语言和自动机理论与应用》。2017年3月6日至9日在瑞典乌梅奥举行的2017年拉丁美洲旅游协会第11届国际会议。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。10168, 183-195 (2017).MSC公司：65年第68季度 2015年第68季度 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Creignou}等人，Lect。票据计算。科学。10168、183--195（2017；Zbl 1485.68105） 全文： 内政部 arXiv公司
阿诺·杜兰德；朱哈·科廷宁；赫里贝特·沃尔默 依赖逻辑的表达性和复杂性。 （英语） Zbl 1429.03114号 Abramsky，Samson（编辑）等人，《依赖逻辑》。理论和应用。根据2013年2月在德国瓦登举行的达格斯图尔“依赖逻辑：理论和应用”研讨会上的演讲，选出论文。巴塞尔：Birkhäuser/Springer。5-32 (2016).MSC公司：03B60号 2017年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Durand}等人，in：依赖逻辑。理论和应用。根据2013年2月在德国瓦登举行的达格斯图尔“依赖逻辑：理论和应用”研讨会上的发言，选出论文。巴塞尔：Birkhäuser/Springer。5--32（2016年；Zbl 1429.03114） 全文： 内政部
阿诺·杜兰德；约翰内斯·埃宾；朱哈·科廷宁；赫里贝特·沃尔默 带有多数量词的依赖逻辑。 （英语） Zbl 1368.03040号 J.逻辑语言信息。 24，第3期，289-305（2015）.MSC公司：03B60号 03C80号 03C85号 03B15号机组 19年第68季度 2015年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Durand}等人，J.Logic Lang.Inf.24，No.3，289--305（2015；Zbl 1368.03040） 全文： 内政部 链接
阿恩·迈尔；伊琳娜·辛德勒；约翰·施密特；迈克尔·托马斯；赫里贝特·沃尔默 关于非单调逻辑的参数化复杂性。 （英语） 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） 全文： 内政部
马库斯·阿斯辛格；康拉德·德雷舍尔；乔治·戈特洛布；赫里贝特·沃尔默 LoCo–配置问题的逻辑。 （英语） Zbl 1354.68246号 ACM事务处理。计算。日志。 第15号第3条第20条第25页（2014年）.MSC公司：68T27型 PDF格式BibTeX公司 XML格式引用 \textit{M.Aschinger}等人，《美国医学杂志》。计算。日志。15，第3号，第20条，第25页（2014；Zbl 1354.68246） 全文： 内政部
奥拉夫·拜尔斯多夫；阿恩·梅尔；塞巴斯蒂安·米勒；迈克尔·托马斯；赫里贝特·沃尔默 命题缺省逻辑的证明复杂性。 （英语） Zbl 1308.03057号 架构（architecture）。数学。逻辑 50，编号7-8，727-742（2011）. 审核人：Emil Jeřábek（普拉哈） MSC公司：20层03 03B60号 PDF格式BibTeX公司 XML格式引用 \textit｛O.Beyersdorff｝等人，Arch。数学。逻辑50，编号7--8，727--742（2011；Zbl 1308.03057） 全文： 内政部 链接
奥拉夫·拜尔斯多夫；阿恩·迈尔；迈克尔·托马斯；赫里贝特·沃尔默 默认逻辑片段推理的复杂性。 （英语） Zbl 1247.68263号 Kullmann，Oliver（编辑），可满足性测试的理论和应用——SAT 2009。2009年6月30日至7月3日在英国斯旺西举行的2009年第12届国际SAT会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-02776-5/pbk）。计算机科学课堂讲稿5584，51-64（2009）。MSC公司：68T27型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{O.Beyersdorf}等人，Lect。票据计算。科学。5584、51-64（2009年；Zbl 1247.68263） 全文： 内政部 arXiv公司
皮埃尔·麦肯齐；迈克尔·托马斯；赫里贝特·沃尔默 布尔电路的扩展一致性。 （英语） Zbl 1157.68030号 迈克尔·卡明斯基（编辑）等人，《计算机科学逻辑》。2008年9月16日至19日，在意大利贝蒂诺罗举行的第22届CSL国际研讨会，第17届EACSL年会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-87530-7/pbk）。计算机科学课堂讲稿5213，64-78（2008）。MSC公司：2015年第68季度 19年第68季度 65年第68季度 94立方厘米 PDF格式BibTeX公司 XML格式引用 \textit｛P.McKenzie｝等人，Lect。票据计算。科学。5213、64--78（2008年；Zbl 1157.68030） 全文： 内政部 arXiv公司