亚西尔·马哈茂德；乔尼·维特玛 命题包含和独立逻辑的参数化复杂性。 （英语） Zbl 07810570号 Hansen，Helle Hvid（编辑）等人，《逻辑、语言、信息和计算》。2023年7月11日至14日，第29届国际研讨会，WoLLIC 2023，加拿大NS哈利法克斯。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13923, 274-291 (2023).MSC公司：03B70号 PDF格式BibTeX公司 XML格式引用 \textit{Y.Mahmood}和\textit{J.Virtema}，莱克特。注释计算。科学。13923274--291（2023；Zbl 07810570） 全文： 内政部 arXiv公司
巴托斯·贝德纳西克；斯特凡·德姆里；劳尔·费尔瓦里；阿莱西奥·曼苏蒂 用模态逻辑构造有限森林。 （英语） Zbl 07672671号 ACM事务处理。计算。日志。 24，第2号，第12号文件，第46页（2023）.MSC公司：03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{B.Bednarczyk}等人，《美国医学杂志》。计算。日志。24，第2号，第12号论文，46页（2023年；Zbl 07672671） 全文： 内政部
劳尔·费尔瓦里；阿莱西奥·曼苏蒂 模态逻辑和局部量词：初级层次中的动物园。 （英语） 兹伯利07793035 Bouyer，Patricia（编辑）等人，《软件科学和计算结构基础》。2022年4月2日至7日，第25届国际会议，FOSSACS 2022，作为欧洲软件理论和实践联席会议的一部分，ETAPS 2022，德国慕尼黑。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13242, 305-324 (2022).MSC公司：68新元 68季度xx PDF格式BibTeX公司 XML格式引用 \textit{R.Fervari}和\textit{A.Mansutti}，莱克特。注释计算。科学。13242，305-324（2022；Zbl 07793035） 全文： 内政部
安塞尔姆·哈克；阿恩·迈尔；费比安·米勒；赫里贝特·沃尔默 在一阶团队逻辑中枚举团队。 （英语） 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公司
朱哈·科廷宁；阿恩·迈尔；亚西尔·马哈茂德 关于依赖逻辑复杂性的参数化视图。 （英语） 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公司 链接
Miika Hannula公司；你好，劳里 包含逻辑中的复杂性阈值。 （英语） Zbl 1496.03132号 Inf.计算。 287，文章ID 104759，19 p.（2022）.MSC公司：03B70号 03B60号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Hannula}和\textit{L.Hella}，Inf.Compute。287，文章ID 104759，19 p.（2022；Zbl 1496.03132） 全文： 内政部
亚西尔·马哈茂德；阿恩·迈尔 命题依赖逻辑中模型检查和可满足性的参数化复杂性。 （英语） Zbl 07473202号 安。数学。Artif公司。智力。 90，编号2-3，271-296（2022）.MSC公司：60年第68季度 03B70号 2017年第68季度 68年第27季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Mahmood}和\textit{A.Meier}，Ann.数学。Artif公司。智力。90，编号2--3，271--296（2022；Zbl 07473202） 全文： 内政部 arXiv公司
马丁·吕克；米卡·维兰德 关于依赖原子的简洁性。 （英语） Zbl 1509.03082号 日志。方法计算。科学。 15，第3号，第17号论文，28页（2019年）.MSC公司：03B60号 03B45号 03B70号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛M.Lück｝和\textit｛M.Vilander｝，日志。方法计算。科学。15，第3号，第17号论文，28页（2019年；Zbl 1509.03082） 全文： arXiv公司
Miika Hannula公司 模态和命题依赖逻辑中的有效性和蕴涵。 （英语） Zbl 1515.03131号 日志。方法计算。科学。 15，第2号，第4号论文，24页（2019年）.MSC公司：03B60号 03B45号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Hannula}，日志。方法计算。科学。15，第2号，第4号论文，24页（2019年；Zbl 1515.03131） 全文： arXiv公司
马丁·吕克 典型模型和模态团队逻辑的复杂性。 （英语） Zbl 1515.03101号 Ghica，Dan R.（编辑）等人，第27届EACSL计算机科学逻辑年会，CSL 2018，英国伯明翰，2018年9月4-8日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。119，第30条，第23页（2018年）。MSC公司：03B45号 2015年3月1日 2017年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Lück}，LIPIcs——莱布尼茨国际程序。通知。119，第30条，第23页（2018；Zbl 1515.03101） 全文： 内政部
马丁·吕克 团队逻辑及其双变量片段的复杂性。 （英语） Zbl 1512.68113号 Potapov，Igor（编辑）等人，第43届计算机科学数学基础国际研讨会。2018年8月27日至31日，英国利物浦，MFCS 2018。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。117，第27条，第22页（2018年）。MSC公司：65年第68季度 03B25号 03B70号 2017年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Lück}，LIPIcs——莱布尼茨国际程序。通知。117，第27条，22 p.（2018；Zbl 1512.68113） 全文： 内政部 arXiv公司
安德烈亚斯·克雷布斯；阿恩·迈尔；乔尼·维特玛；马丁·齐默尔曼 超属性规范和验证的团队语义。 （英语） Zbl 1510.68043号 Potapov，Igor（编辑）等人，第43届计算机科学数学基础国际研讨会。2018年8月27日至31日，英国利物浦，MFCS 2018。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。117，第10条，第16页（2018年）。MSC公司：60年第68季度 03B44号 68问题55 PDF格式BibTeX公司 XML格式引用 \textit｛A.Krebs｝等人，LIPIcs——莱布尼茨国际会议记录。通知。117，第10条，第16页（2018；Zbl 1510.68043） 全文： 内政部 arXiv公司
你好，劳里；安蒂·库西斯托；阿恩·迈尔；乔尼·维特玛 命题和模态包含逻辑中的模型检查和有效性。 （英语） Zbl 1441.68132号 Larsen，Kim G.（编辑）等人，第42届计算机科学数学基础国际研讨会，2017年8月21日至25日，丹麦奥尔堡，MFCS 2017。Wadern：Schloss Dagstuhl–Leibniz Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。83，第32条，第14页（2017年）。MSC公司：60年第68季度 03B45号 03B70号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Hella}等人，LIPIcs——莱布尼茨国际程序。通知。83，第32条，第14页（2017年；Zbl 1441.68132） 全文： 内政部 arXiv公司