编辑配置文件(在新选项卡中打开) Miika Hannula公司 合著者距离 作者ID: 汉努拉·米卡 发布日期: Miika Hannula公司 已编制索引的文档: 29出版物自2013年起 合著者: 14合著者具有23联合出版物 290位合作作者 全部的 前5名合著者 6 单作者的 17 朱哈·科廷宁 12 乔尼·维尔特玛 4 林克,塞巴斯蒂安 三 阿诺·杜兰德 三 阿恩·迈尔 2 劳里·T·海拉。 2 赫里贝特·沃尔默 1 彼得罗·加利亚尼 1 奥萨·赫沃宁 1 明纳州赫沃宁 1 瓦迪姆·库利科夫 1 李新义 1 马丁·吕克 1 Van den Bussche,简 全部的 前5名系列 三 纯逻辑与应用逻辑年鉴 2 计算机与系统科学杂志 2 信息与计算 2 逻辑与计算杂志 2 ACM计算逻辑事务 1 数学与人工智能年鉴 1 计算机科学中的逻辑方法 领域 26 数学逻辑和基础(03-XX) 23 计算机科学(68至XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 25出版物被引用175中的次64文件 引用人▼ 年份▼ 独立逻辑中的层次结构。 Zbl 1356.03070号 彼得罗·加利亚尼;Miika Hannula公司;朱哈·科廷宁 23 2013 团队语义中命题逻辑的复杂性。 Zbl 1407.68291号 Miika Hannula公司;朱哈·科廷宁;乔尼·维尔特玛;赫里贝特·沃尔默 14 2018 命题独立性和包含逻辑的复杂性。 Zbl 1465.68104号 Miika Hannula公司;朱哈·科廷宁;乔尼·维尔特玛;赫里贝特·沃尔默 11 2015 公理化独立逻辑中的一阶结果。 兹比尔1343.03027 Miika Hannula公司 11 2015 包含逻辑中具有松散语义的层次结构。 Zbl 1304.03071号 Miika Hannula公司 11 2015 条件独立性和包含依赖性的有限公理化。 Zbl 1435.68076号 Miika Hannula公司;朱哈·科廷宁 11 2016 概率团队语义。 Zbl 1508.03057号 阿诺·杜兰德;Miika Hannula公司;朱哈·科廷宁;阿恩·迈尔;乔尼·维尔特玛 11 2018 概率团队语义中分布标识的方面。 Zbl 1525.68169号 Miika Hannula公司;奥萨·赫沃宁;朱哈·科廷宁;瓦迪姆·库利科夫;乔尼·维尔特玛 11 2019 通过多团队语义进行近似和依赖。 Zbl 1459.03032号 阿诺·杜兰德;Miika Hannula公司;朱哈·科廷宁;阿恩·迈尔;乔尼·维尔特玛 10 2018 具有严格语义的独立和包含逻辑中的层次结构。 兹bl 1345.03051型 Miika Hannula公司;朱哈·科廷宁 10 2015 条件独立性和包含依赖性的有限公理化。 Zbl 1344.68064号 Miika Hannula公司;朱哈·科廷宁 9 2014 关于量化命题逻辑和指数时间层次。 Zbl 1478.03066号 Miika Hannula公司;朱哈·科廷宁;马丁·吕克;乔尼·维尔特玛 7 2016 通过多团队语义进行近似和依赖。 Zbl 1459.03031号 阿诺·杜兰德;Miika Hannula公司;朱哈·科廷宁;阿恩·迈尔;乔尼·维尔特玛 6 2016 真实计算和概率独立逻辑的描述复杂性。 Zbl 07299495号 Miika Hannula公司;朱哈·科廷宁;Van den Bussche,简;乔尼·维尔特玛 6 2020 使用包含依赖项推理嵌入的依赖项。 Zbl 1471.68083号 Miika Hannula公司 4 2015 概率团队语义和实域上存在二阶逻辑中的可追踪边界。 Zbl 07437046号 Miika Hannula公司;乔尼·维尔特玛 4 2021 关于独立原子和键的有限和一般蕴涵问题。 Zbl 1338.68057号 Miika Hannula公司;朱哈·科廷宁;林克,塞巴斯蒂安 三 2016 包含逻辑中的复杂性阈值。 Zbl 1496.03131号 Miika Hannula公司;你好,劳里 三 2019 关于密钥集的自动推理。 Zbl 1511.68108号 Miika Hannula公司;林克,塞巴斯蒂安 2 2018 模态和命题依赖逻辑中的有效性和蕴涵。 兹比尔1434.03077 Miika Hannula公司 2 2017 Polyteam语义。 Zbl 1505.03070号 Miika Hannula公司;朱哈·科廷宁;乔尼·维尔特玛 2 2018 包含逻辑中具有松散语义的层次结构。 Zbl 1407.03040号 Miika Hannula公司 1 2018 关于夹杂物依赖性与独立原子的相互作用。 Zbl 1403.68053号 Miika Hannula公司;朱哈·科廷宁;林克,塞巴斯蒂安 1 2017 Polyteam语义。 Zbl 1505.03071号 Miika Hannula公司;朱哈·科廷宁;乔尼·维尔特玛 1 2020 模态和命题依赖逻辑中的有效性和蕴涵。 Zbl 1515.03131号 Miika Hannula公司 1 2019 概率团队语义和实域上存在二阶逻辑中的可追踪边界。 Zbl 07437046号 Miika Hannula公司;乔尼·维尔特玛 4 2021 真实计算和概率独立逻辑的描述复杂性。 Zbl 07299495号 Miika Hannula公司;朱哈·科廷宁;Van den Bussche,简;乔尼·维尔特玛 6 2020 Polyteam语义。 兹比尔1505.03071 Miika Hannula公司;朱哈·科廷宁;乔尼·维尔特玛 1 2020 概率团队语义中分布标识的方面。 Zbl 1525.68169号 Miika Hannula公司;奥萨·赫沃宁;朱哈·科廷宁;瓦迪姆·库利科夫;乔尼·维尔特玛 11 2019 包含逻辑中的复杂性阈值。 Zbl 1496.03131号 Miika Hannula公司;你好,劳里 三 2019 模态和命题依赖逻辑中的有效性和蕴涵。 Zbl 1515.03131号 Miika Hannula公司 1 2019 团队语义中命题逻辑的复杂性。 Zbl 1407.68291号 Miika Hannula公司;朱哈·科廷宁;乔尼·维尔特玛;赫里贝特·沃尔默 14 2018 概率团队语义。 Zbl 1508.03057号 阿诺·杜兰德;Miika Hannula公司;朱哈·科廷宁;阿恩·迈尔;乔尼·维尔特玛 11 2018 通过多团队语义进行近似和依赖。 兹比尔1459.03032 阿诺·杜兰德;Miika Hannula公司;朱哈·科廷宁;阿恩·迈尔;乔尼·维尔特玛 10 2018 关于密钥集的自动推理。 Zbl 1511.68108号 Miika Hannula公司;林克,塞巴斯蒂安 2 2018 Polyteam语义。 Zbl 1505.03070号 Miika Hannula公司;朱哈·科廷宁;乔尼·维尔特玛 2 2018 包含逻辑中具有松散语义的层次结构。 兹比尔1407.03040 Miika Hannula公司 1 2018 模态和命题依赖逻辑中的有效性和蕴涵。 Zbl 1434.03077号 Miika Hannula公司 2 2017 关于夹杂物依赖性与独立原子的相互作用。 Zbl 1403.68053号 Miika Hannula公司;朱哈·科廷宁;林克,塞巴斯蒂安 1 2017 条件独立性和包含依赖性的有限公理化。 Zbl 1435.68076号 Miika Hannula公司;朱哈·科廷宁 11 2016 关于量化命题逻辑和指数时间层次。 Zbl 1478.03066号 Miika Hannula公司;朱哈·科廷宁;马丁·吕克;乔尼·维尔特玛 7 2016 通过多团队语义进行近似和依赖。 Zbl 1459.03031号 阿诺·杜兰德;Miika Hannula公司;朱哈·科廷宁;阿恩·迈尔;乔尼·维尔特玛 6 2016 关于独立原子和键的有限和一般蕴涵问题。 Zbl 1338.68057号 Miika Hannula公司;朱哈·科廷宁;林克,塞巴斯蒂安 三 2016 命题独立性和包含逻辑的复杂性。 兹比尔1465.68104 Miika Hannula公司;朱哈·科廷宁;乔尼·维尔特玛;赫里贝特·沃尔默 11 2015 公理化独立逻辑中的一阶结果。 Zbl 1343.03027号 Miika Hannula公司 11 2015 包含逻辑中具有松散语义的层次结构。 Zbl 1304.03071号 Miika Hannula公司 11 2015 具有严格语义的独立和包含逻辑中的层次结构。 Zbl 1345.03051号 Miika Hannula公司;朱哈·科廷宁 10 2015 使用包含依赖项推理嵌入的依赖项。 Zbl 1471.68083号 Miika Hannula公司 4 2015 条件独立性和包含依赖性的有限公理化。 Zbl 1344.68064号 Miika Hannula公司;朱哈·科廷宁 9 2014 独立逻辑中的层次结构。 Zbl 1356.03070号 彼得罗·加利亚尼;Miika Hannula公司;朱哈·科廷宁 23 2013 所有引用出版物 前5名被引用出版物 全部的 前5名50位作者引用 13 朱哈·科廷宁 12 Miika Hannula公司 10 彼得罗·加利亚尼 10 乔尼·维尔特玛 7 阿恩·迈尔 7 杨,范 5 吕克,马丁 5 Väänänen,Jouko Antero 5 赫里贝特·沃尔默 4 安蒂·库西斯托 4 雷恩·Rönnholm 三 福斯托·巴贝罗 三 阿诺·杜兰德 三 劳里·T·海拉。 三 林克,塞巴斯蒂安 三 亚西尔·马哈茂德 2 朱卡·科兰德 2 劳尔·费尔瓦里 2 安塞尔姆·哈克 2 明纳州赫沃宁 2 安蒂·海蒂宁 2 阿莱西奥·曼苏蒂 2 约翰·彭萨尔 1 拉斐尔·阿尔伯特 1 西田Balamuralirishna 1 巴托斯·贝德纳西克 1 de Rugy Altherre,尼古拉斯 1 Stéphane P.德姆里。 1 瓦伦丁·F·戈兰科。 1 埃里希·格拉德尔 1 克里斯蒂安·赫尔曼 1 江英南 1 马丁·乔纳什 1 亨宁·科勒 1 安德烈亚斯·克雷布斯 1 乌韦·莱克 1 李新义 1 刘西玲 1 埃里克·帕奎特 1 亨利·普拉德。 1 加布里埃尔·桑杜 1 胜彦三野 1 斯特雷切克,简 1 铃本,靖国 1 Miikka S.维兰德。 1 理查德·威尔克 1 周、水胜 1 马丁·齐格勒 1 马丁·齐默尔曼 1 谢尔盖·弗拉基米洛维奇(Sergey Vladimirovich Zykin) 全部的 前5名15篇连载文章中引用 15 纯逻辑与应用逻辑年鉴 4 信息与计算 4 数学与人工智能年鉴 2 计算机与系统科学杂志 2 符号逻辑杂志 2 计算机科学中的逻辑方法 2 符号逻辑述评 1 信息处理信件 1 模糊集与系统 1 哲学逻辑杂志 1 国际代数与计算杂志 1 逻辑、语言与信息杂志 1 《数理逻辑季刊》 1 ACM计算逻辑事务 1 Modelirovanie i Analiz信息系统 全部的 前5名11个领域引用 55 数学逻辑和基础(03-XX) 31 计算机科学(68至XX) 三 组合数学(05-XX) 三 统计学(62-XX) 2 博弈论、经济学、金融和其他社会和行为科学(91-XX) 1 阶、格、有序代数结构(06-XX) 1 一般代数系统(08-XX) 1 线性代数和多线性代数;矩阵理论(15-XX) 1 结合环与代数(16-XX) 1 量子理论(81-XX) 1 信息与通信理论、电路(94-XX) 按年份列出的引文