你好,劳里;安蒂·库西斯托;阿恩·迈尔;赫里贝特·沃尔默 模态包含逻辑的可满足性。松懈和严格的语义。 (英语) 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公司
Miika Hannula公司;朱哈·科廷宁;乔尼·维特玛;赫里贝特·沃尔默 团队语义中命题逻辑的复杂性。 (英语) 兹比尔1407.68291 ACM事务处理。计算。日志。 19,第1号,第2条,第14页(2018年).MSC公司:60年第68季度 03B70号 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Hannula}等人,ACM翻译。计算。日志。19,第1号,第2条,第14页(2018;Zbl 1407.68291) 全文: 内政部 链接
马库斯·阿斯辛格;康拉德·德雷舍尔;格奥尔格·戈特洛布;赫里贝特·沃尔默 LoCo–配置问题的逻辑。 (英语) Zbl 1354.68246号 ACM事务处理。计算。日志。 第15号第3条第20条第25页(2014年).MSC公司:68T27型 PDF格式BibTeX公司 XML格式引用 \textit{M.Aschinger}等人,ACM Trans。计算。日志。15,第3号,第20条,第25页(2014;Zbl 1354.68246) 全文: 内政部
纳迪亚·克里诺;阿恩·迈尔;赫里贝特·沃尔默;迈克尔·托马斯 自认知逻辑片段推理的复杂性。 (英语) 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) 全文: 内政部 链接
迈克尔·鲍兰;马丁·蒙德亨克;托马斯·施耐德;海宁·施诺尔;伊尔卡·施诺尔;赫里贝特·沃尔默 LTL模型检查的可处理性:好的、坏的和丑陋的片段。 (英语) Zbl 1351.68151号 ACM事务处理。计算。日志。 第12号第2条第13条第28页(2011年).MSC公司:60年第68季度 03B44号 2017年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Bauland}等人,ACM Trans。计算。日志。12,第2号,第13条,第28页(2011年;Zbl 1351.68151) 全文: 内政部