编辑配置文件(在新选项卡中打开) 多米尼克·柯斯特 合著者距离 作者ID: 柯斯特·多米尼克 发布方式: 多米尼克·柯斯特 已编制索引的文档: 13出版物自2017年起,包括2个附加arXiv预打印 合著者: 7合著者具有13联合出版物 55位合作作者 全部的 前5名合著者 0 单作者的 三 扬尼克·福斯特 三 马克·赫尔墨斯 三 多米尼克·韦尔 2 克里斯蒂安·哈格梅耶 2 多米尼克·拉切·温德林(Dominique Larchey-Wendling) 2 格特·斯莫尔卡 1 穆克,尼古拉斯 系列 2 自动推理杂志 2 逻辑与计算杂志 1 计算机科学中的逻辑方法 领域 8 数学逻辑和基础(03-XX) 7 计算机科学(68至XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 5出版物有被引用16中的次9文件 引用人▼ 年份▼ 构造型理论中分析的一阶逻辑的完备性定理。 Zbl 1485.03248号 扬尼克·福斯特;多米尼克·柯斯特;多米尼克·韦尔 4 2020 构造型理论分析了一阶逻辑的完备性定理。扩展版本。 Zbl 07471462号 扬尼克·福斯特;多米尼克·柯斯特;多米尼克·韦尔 4 2021 从属类型理论中二阶ZF的分类结果。 Zbl 1468.03012号 多米尼克·柯斯特;格特·斯莫尔卡 三 2017 科克的特拉赫滕布罗特定理。有限模型理论的建设性方法。 Zbl 07614663号 多米尼克·柯斯特;多米尼克·拉切·温德林(Dominique Larchey-Wendling) 三 2020 依赖型理论中二阶ZF的分类结果和大模型构造。 兹比尔1468.03013 多米尼克·柯斯特;格特·斯莫尔卡 2 2019 构造型理论分析了一阶逻辑的完备性定理。扩展版本。 Zbl 07471462号 扬尼克·福斯特;多米尼克·柯斯特;多米尼克·韦尔 4 2021 构造型理论分析了一阶逻辑的完备性定理。 Zbl 1485.03248号 扬尼克·福斯特;多米尼克·柯斯特;多米尼克·韦尔 4 2020 科克的特拉赫滕布罗特定理。有限模型理论的建设性方法。 Zbl 07614663号 多米尼克·柯斯特;多米尼克·拉切·温德林(Dominique Larchey-Wendling) 三 2020 依赖型理论中二阶ZF的分类结果和大模型构造。 Zbl 1468.03013号 多米尼克·柯斯特;格特·斯莫尔卡 2 2019 从属类型理论中二阶ZF的分类结果。 兹比尔1468.03012 多米尼克·柯斯特;格特·斯莫尔卡 三 2017 所有引用出版物 前5名被引用出版物 全部的 前5名12位作者引用 6 多米尼克·柯斯特 三 多米尼克·拉切·温德林(Dominique Larchey-Wendling) 1 阿丽亚娜·阿尔维斯·阿尔梅达 1 毛里西奥·阿亚拉·林科恩 1 曹勤祥 1 扬尼克·福斯特 1 克里斯蒂安·哈格梅耶 1 马克·赫尔墨斯 1 拉莫斯,蒂亚戈·门登萨·费雷拉 1 格特·斯莫尔卡 1 陶一成 1 多米尼克·韦尔 2篇连载文章中引用 三 自动推理杂志 2 计算机科学中的逻辑方法 在3个字段中引用 7 数学逻辑和基础(03-XX) 6 计算机科学(68至XX) 1 数论(11-XX) 按年份列出的引文