编辑配置文件(在新选项卡中打开) 马丁·吕克 合著者距离 作者ID: 勒克马汀 发布日期: 马丁·吕克 已编制索引的文档: 12出版物自2015年起 合著者: 7合著者具有4联合出版物 70位合作作者 全部的 前5名合著者 8 单作者的 2 阿恩·迈尔 1 Miika Hannula公司 1 朱哈·科廷宁 1 艾伦娜·辛德勒 1 伊琳娜·辛德勒 1 Miikka S.维兰德。 1 乔尼·维尔特玛 系列 2 计算机科学中的逻辑方法 1 理论计算机科学 1 纯逻辑与应用逻辑年鉴 1 国际计算机科学基础杂志 1 ACM计算逻辑事务 领域 12 数学逻辑和基础(03-XX) 8 计算机科学(68至XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 11出版物被引用34中的次23文件 引用人▼ 年份▼ 团队逻辑的公理化。 Zbl 1469.03085号 马丁·吕克 8 2018 关于量化命题逻辑和指数时间层次。 Zbl 1478.03066号 Miika Hannula公司;朱哈·科廷宁;马丁·吕克;乔尼·维尔特玛 7 2016 命题和模态团队逻辑的公理化。 Zbl 1370.03047号 马丁·吕克 5 2016 团队逻辑及其双变量片段的复杂性。 Zbl 1512.68113号 马丁·吕克 4 2018 典型模型和模态团队逻辑的复杂性。 Zbl 1515.03100号 马丁·吕克 三 2019 CTL的参数化复杂性。 Zbl 1451.68138号 马丁·吕克;阿恩·迈尔;伊琳娜·辛德勒 2 2015 时序逻辑中可满足性的参数化复杂性。 Zbl 1367.68111号 马丁·吕克;阿恩·迈尔;艾伦娜·辛德勒 1 2017 具有团队语义的模态逻辑过滤技术的威力。 Zbl 1434.03075号 马丁·吕克 1 2017 关于依赖原子的简洁性。 Zbl 1509.03082号 马丁·吕克;米卡·维兰德 1 2019 关于具有团队语义的线性时序逻辑的复杂性。 Zbl 1477.68165号 马丁·吕克 1 2020 典型模型和模态团队逻辑的复杂性。 Zbl 1515.03101号 马丁·吕克 1 2018 关于具有团队语义的线性时序逻辑的复杂性。 兹比尔1477.68165 马丁·吕克 1 2020 典型模型和模态团队逻辑的复杂性。 Zbl 1515.03100号 马丁·吕克 三 2019 关于依赖原子的简洁性。 Zbl 1509.03082号 马丁·吕克;米卡·维兰德 1 2019 团队逻辑的公理化。 兹比尔1469.03085 马丁·吕克 8 2018 团队逻辑及其双变量片段的复杂性。 Zbl 1512.68113号 马丁·吕克 4 2018 典型模型和模态团队逻辑的复杂性。 Zbl 1515.03101号 马丁·吕克 1 2018 时序逻辑中可满足性的参数化复杂性。 Zbl 1367.68111号 马丁·吕克;阿恩·迈尔;艾伦娜·辛德勒 1 2017 具有团队语义的模态逻辑过滤技术的强大功能。 Zbl 1434.03075号 马丁·吕克 1 2017 关于量化命题逻辑和指数时间层次。 Zbl 1478.03066号 Miika Hannula公司;朱哈·科廷宁;马丁·吕克;乔尼·维尔特玛 7 2016 命题和模态团队逻辑的公理化。 Zbl 1370.03047号 马丁·吕克 5 2016 CTL的参数化复杂性。 Zbl 1451.68138号 马丁·吕克;阿恩·迈尔;伊琳娜·辛德勒 2 2015 所有引用出版物 前5名被引用出版物 全部的 前5名20位作者引用 8 马丁·吕克 6 彼得罗·加利亚尼 5 朱哈·科廷宁 4 阿恩·迈尔 三 亚西尔·马哈茂德 2 Miika Hannula公司 2 乔尼·维尔特玛 2 杨,范 1 福斯托·巴贝罗 1 Stéphane P.德姆里。 1 明纳州赫沃宁 1 马丁·乔纳什 1 艾蒂安·洛兹 1 阿莱西奥·曼苏蒂 1 马克斯·桑德斯特罗姆 1 艾伦娜·辛德勒 1 伊琳娜·辛德勒 1 斯特雷切克,简 1 Väänänen,Jouko Antero 1 Miikka S.维兰德。 全部的 前5名8篇连载文章中引用 4 纯逻辑与应用逻辑年鉴 2 符号逻辑杂志 2 计算机科学中的逻辑方法 1 信息处理信件 1 理论计算机科学 1 信息与计算 1 数学与人工智能年鉴 1 ACM计算逻辑事务 在4个字段中引用 22 数学逻辑和基础(03-XX) 12 计算机科学(68至XX) 1 统计学(62-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 按年份列出的引文