亚西尔·马哈茂德;阿恩·迈尔;约翰·施密特 Schaefer框架中基于逻辑的论证的参数化复杂性。 (英语) Zbl 07713587号 ACM事务处理。计算。日志。 24,第3号,第26号论文,第25页(2023年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{Y.Mahmood}等人,ACM Trans。计算。日志。24,第3号,第26号论文,第25页(2023;Zbl 07713587) 全文: 内政部 arXiv公司
你好,劳里;安蒂·库西斯托;阿恩·迈尔;赫里贝特·沃尔默 模态包含逻辑的可满足性。松懈和严格的语义。 (英语) Zbl 1433.03053号 ACM事务处理。计算。日志。 21,第1号,第7条,第18页(2020年).MSC公司:03B45号 03B70号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Hella}等人,ACM翻译。计算。日志。21,第1号,第7条,第18页(2020年;Zbl 1433.03053) 全文: 内政部 arXiv公司
马丁·吕克;阿恩·迈尔;艾伦娜·辛德勒 时序逻辑中可满足性的参数化复杂性。 (英语) Zbl 1367.68111号 ACM事务处理。计算。日志。 18,第1号,第1条,第32页(2017年).MSC公司:65年第68季度 03B44号 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Lück}等人,《美国医学杂志》。计算。日志。18,第1号,第1条,第32页(2017年;Zbl 1367.68111) 全文: 内政部
纳迪亚·克里诺;阿恩·迈尔;赫里贝特·沃尔默;迈克尔·托马斯 自认知逻辑片段推理的复杂性。 (英语) Zbl 1352.68226号 ACM事务处理。计算。日志。 第13号第2条第17条第22页(2012年).MSC公司:68T27型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Creignou}等人,《美国医学杂志》。计算。日志。13,第2号,第17条,22页(2012;Zbl 1352.68226) 全文: 内政部 链接