编辑配置文件(在新选项卡中打开) 克莱门斯·库普克 合著者距离 作者ID: 库普克·克莱门斯 发布日期: 克莱门斯·库普克;库普克,C。 外部链接: MGP公司 已编制索引的文档: 47出版物自2003年以来,包括3个附加arXiv预打印 3作为编辑的贡献 审查活动: 5评论 合著者: 42位合著者具有48联合出版物 981合著作者 全部的 前5名合著者 2 单作者的 10 德克·帕丁森 9 Helle Hvid Hansen先生 8 维尼马,伊德 6 亚历山大·库兹 5 朱里安·罗特 5 鲁滕,简·J·M·M。 4 尼尔·加尼 4 弗雷德里克·诺德瓦尔·福斯伯格 三 约翰内斯·马蒂 三 埃兹拉·肖恩 三 卢茨·施罗德 2 阿达梅克,吉安尼 2 西蒙·巴洛克 2 Bezhanishvili,尼克 2 科琳娜·科斯特 2 拉杰夫·普拉巴卡尔·戈尔 2 阿拉斯代尔·兰伯特 2 劳尔·安德烈斯 2 杰雷米·莱登特 2 主人,杰德 2 埃里克·帕奎特 1 马丁·阿赫尔 1 罗伯特·阿特基 1 马泰奥·卡布奇 1 伯纳多·昆卡·格劳 1 塞巴斯蒂安·恩奎斯特 1 布鲁诺加夫拉诺维奇 1 乔治·戈特洛布 1 安德烈·赫尼奇 1 霍尔,丹尼尔 1 伊恩·霍洛克斯 1 埃米尔·杰夏贝克 1 马库斯·科洛奇 1 托马斯·卢卡西维奇 1 Despoina马加 1 鲍里斯·莫提克 1 帕南加登,普拉卡什 1 亚历山德拉·席尔瓦 1 鲁本·图尔肯堡 1 格科·范·海尔特 1 王哲 1 温特,乔斯特 全部的 前5名系列 6 计算机科学中的逻辑方法 三 理论计算机科学 2 信息与计算 1 人工智能研究杂志 1 美国医学会杂志 1 ACM计算逻辑汇刊 1 计算机科学课堂讲稿 1 理论计算机科学电子笔记 全部的 前5名领域 31 数学逻辑和基础(03-XX) 27 计算机科学(68至XX) 13 范畴理论;同调代数(18-XX) 8 博弈论、经济学、金融和其他社会和行为科学(91-XX) 三 总体主题;集合(00-XX) 1 阶、格、有序代数结构(06-XX) 1 数论(11-XX) 1 结合环与代数(16-XX) 1 一般拓扑结构(54至XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 40出版物有被引用320中的次210文件 引用人▼ 年份▼ 石煤层。 Zbl 1075.68053号 克莱门斯·库普克;亚历山大·库兹;维尼马,伊德 42 2004 邻域结构:双相似性和基本模型理论。 Zbl 1172.03011号 Helle Hvid Hansen先生;克莱门斯·库普克;埃里克·帕奎特 33 2009 联合逻辑的代数语义。 Zbl 1271.03031号 克莱门斯·库普克;亚历山大·库兹;德克·帕丁森 22 2004 单调模态逻辑的联合观点。 Zbl 1271.03029号 Helle Hvid Hansen先生;克莱门斯·库普克 21 2004 存在规则的非循环概念及其在本体中查询应答中的应用。 Zbl 1270.68295号 伯纳多·坎卡·格劳;伊恩·霍洛克斯;马库斯·科洛奇;克莱门斯·库普克;Despoina马加;鲍里斯·莫提克;王哲 20 2013 模态逻辑的协同语义:综述。 Zbl 1360.03068号 克莱门斯·库普克;德克·帕丁森 20 2011 通过二元性最小化。 Zbl 1361.68157号 Bezhanishvili,尼克;克莱门斯·库普克;帕南加登,普拉卡什 14 2012 联合掩护模式的完整性。 Zbl 1261.18006号 克莱门斯·库普克;亚历山大·库兹;维尼马,伊德 11 2012 代数自动机理论:基本结果。 Zbl 1161.18001号 克莱门斯·库普克;维尼马,伊德 11 2008 用于余代数\(\mu\)-演算的EXPTIME表格。 兹比尔1257.03045 科琳娜·科斯特;克莱门斯·库普克;德克·帕丁森 10 2009 余代数的超滤扩展。 Zbl 1151.03357号 库普克,C。;A.库尔兹。;帕丁森,D。 9 2005 通过二元性学习Coalgebra。 Zbl 1524.68158号 西蒙·巴洛克;克莱门斯·库普克;朱里安·罗特 9 2019 用于余代数\(\mu\)-演算的EXPTIME表格。 Zbl 1237.03014号 科琳娜·科斯特;克莱门斯·库普克;德克·帕丁森 8 2011 对迭代开放游戏的组合处理。 Zbl 1416.91036号 尼尔·加尼;克莱门斯·库普克;阿拉斯代尔·兰伯特;弗雷德里克·诺德瓦尔·福斯伯格 7 2018 邻里结构的相互模拟。 Zbl 1172.03314号 Helle Hvid Hansen先生;克莱门斯·库普克;埃里克·帕奎特 7 2007 有限Moss逻辑的完备性。 Zbl 1233.03029号 克莱门斯·库普克;亚历山大·库兹;维尼马,伊德 7 2008 关于自动序列的最后余代数。 Zbl 1354.68183号 克莱门斯·库普克;简·J·M·M·鲁顿。 6 2012 线性不等式的模态逻辑。 Zbl 1254.03036号 克莱门斯·库普克;德克·帕丁森 6 2010 流微分方程:规范格式和求解方法。 Zbl 1451.68181号 Helle Hvid Hansen先生;克莱门斯·库普克;简·拉特 5 2017 无迭代余代数动态逻辑的强完备性。 Zbl 1418.03085号 Helle Hvid Hansen先生;克莱门斯·库普克;劳尔·安德烈斯 5 2014 表征行为对等:一枚硬币的三面。 Zbl 1239.68045号 克莱门斯·库普克;劳尔·安德烈斯 4 2009 余代数动态逻辑的弱完备性。 Zbl 1476.03036号 Helle Hvid Hansen先生;克莱门斯·库普克 4 2015 用于联合盲文描述逻辑的全局缓存。 Zbl 1291.03017号 拉杰夫·戈尔;克莱门斯·库普克;德克·帕丁森;卢茨·施罗德 4 2010 保护存在规则和描述逻辑的稳定模型语义:可判定性和复杂性。 Zbl 1499.68087号 乔治·戈特洛布;安德烈·赫尼奇;克莱门斯·库普克;托马斯·卢卡西维奇 4 2021 在主理想域上学习加权自动机。 Zbl 1461.68093号 格科·范·海尔特;克莱门斯·库普克;朱里安·罗特;亚历山德拉·席尔瓦 4 2020 奇偶博弈和用于博弈逻辑的自动机。 Zbl 1499.03024号 Helle Hvid Hansen先生;克莱门斯·库普克;约翰内斯·马蒂;维尼马,伊德 三 2018 观察联盟和整套合作。 Zbl 1279.68233号 克莱门斯·库普克;简·拉特 三 2008 通过游戏归纳终端序列。 Zbl 1236.03059号 克莱门斯·库普克 三 2009 余代数逻辑的最优表算法。 兹比尔1284.03207 拉杰夫·戈尔;克莱门斯·库普克;德克·帕丁森 三 2010 算术模态逻辑中的全局假设推理。 兹比尔1436.03136 克莱门斯·库普克;德克·帕丁森;卢茨·施罗德 2 2015 通过逻辑学习英语。 Zbl 1503.68083号 西蒙·巴洛克;克莱门斯·库普克 2 2018 共导谓词的表达逻辑。 Zbl 07471679号 克莱门斯·库普克;朱里安·罗特 2 2021 共导谓词的表达逻辑。 兹伯利07650839 克莱门斯·库普克;朱里安·罗特 2 2020 (k)-正则序列的最后一个余代数。 Zbl 1407.68318号 Helle Hvid Hansen先生;克莱门斯·库普克;简·拉特;温特,乔斯特 1 2014 石煤层。 Zbl 1270.03142号 克莱门斯·库普克;亚历山大·库兹;维尼马,伊德 1 2003 整套合作。 Zbl 1209.68161号 克莱门斯·库普克;简·拉特 1 2010 拓扑不动点逻辑游戏。 Zbl 1478.03064号 Bezhanishvili,尼克;克莱门斯·库普克 1 2016 成分博弈论,成分。 Zbl 1480.91052号 罗伯特·阿特基;布鲁诺加夫拉诺维奇;尼尔·加尼;克莱门斯·库普克;杰雷米·莱登特;弗雷德里克·诺德瓦尔·福斯伯格 1 2021 算术模态逻辑中具有全局假设的协同代数推理。 Zbl 1502.68285号 克莱门斯·库普克;德克·帕丁森;卢茨·施罗德 1 2022 无限视界广泛形式的博弈,联合。 Zbl 07722654号 马泰奥·卡布奇;尼尔·加尼;克莱门斯·库普克;杰雷米·莱登特;弗雷德里克·诺德瓦尔·福斯伯格 1 2023 无限视界广泛形式的博弈,联合。 Zbl 07722654号 马泰奥·卡布奇;尼尔·加尼;克莱门斯·库普克;杰雷米·莱登特;弗雷德里克·诺德瓦尔·福斯伯格 1 2023 算术模态逻辑中具有全局假设的协同代数推理。 Zbl 1502.68285号 克莱门斯·库普克;德克·帕丁森;卢茨·施罗德 1 2022 保护存在规则和描述逻辑的稳定模型语义:可判定性和复杂性。 Zbl 1499.68087号 乔治·戈特洛布;安德烈·赫尼奇;克莱门斯·库普克;托马斯·卢卡西维奇 4 2021 共导谓词的表达逻辑。 Zbl 07471679号 克莱门斯·库普克;朱里安·罗特 2 2021 成分博弈论,成分。 Zbl 1480.91052号 罗伯特·阿特基;布鲁诺加夫拉诺维奇;尼尔·加尼;克莱门斯·库普克;杰雷米·莱登特;弗雷德里克·诺德瓦尔·福斯伯格 1 2021 在主理想域上学习加权自动机。 Zbl 1461.68093号 格科·范·海尔特;克莱门斯·库普克;朱里安·罗特;亚历山德拉·席尔瓦 4 2020 共导谓词的表达逻辑。 兹伯利07650839 克莱门斯·库普克;朱里安·罗特 2 2020 通过二元性学习Coalgebra。 Zbl 1524.68158号 西蒙·巴洛克;克莱门斯·库普克;朱里安·罗特 9 2019 对迭代开放游戏的组合处理。 Zbl 1416.91036号 尼尔·加尼;克莱门斯·库普克;阿拉斯代尔·兰伯特;弗雷德里克·诺德瓦尔·福斯伯格 7 2018 奇偶博弈和用于博弈逻辑的自动机。 Zbl 1499.03024号 Helle Hvid汉森;克莱门斯·库普克;约翰内斯·马蒂;维尼马,伊德 三 2018 通过逻辑学习英语。 Zbl 1503.68083号 西蒙·巴洛克;克莱门斯·库普克 2 2018 流微分方程:规范格式和求解方法。 Zbl 1451.68181号 Helle Hvid Hansen先生;克莱门斯·库普克;简·拉特 5 2017 拓扑不动点逻辑游戏。 Zbl 1478.03064号 Bezhanishvili,尼克;克莱门斯·库普克 1 2016 余代数动态逻辑的弱完备性。 Zbl 1476.03036号 Helle Hvid Hansen先生;克莱门斯·库普克 4 2015 算术模态逻辑中的全局假设推理。 兹比尔1436.03136 克莱门斯·库普克;德克·帕丁森;卢茨·施罗德 2 2015 无迭代余代数动态逻辑的强完备性。 Zbl 1418.03085号 Helle Hvid Hansen先生;克莱门斯·库普克;劳尔·安德烈斯 5 2014 (k)-正则序列的最后一个余代数。 Zbl 1407.68318号 Helle Hvid Hansen先生;克莱门斯·库普克;简·拉特;温特,乔斯特 1 2014 存在规则的非循环概念及其在本体中查询应答中的应用。 Zbl 1270.68295号 伯纳多·坎卡·格劳;伊恩·霍洛克斯;马库斯·科洛奇;克莱门斯·库普克;Despoina马加;鲍里斯·莫提克;王哲 20 2013 通过二元性最小化。 Zbl 1361.68157号 Bezhanishvili,尼克;克莱门斯·库普克;帕南加登,普拉卡什 14 2012 联合掩护模式的完整性。 Zbl 1261.18006号 克莱门斯·库普克;亚历山大·库兹;维尼马,伊德 11 2012 关于自动序列的最后余代数。 Zbl 1354.68183号 克莱门斯·库普克;简·J·M·M·鲁顿。 6 2012 模态逻辑的协同语义:综述。 Zbl 1360.03068号 克莱门斯·库普克;德克·帕丁森 20 2011 用于余代数\(\mu\)-演算的EXPTIME表格。 Zbl 1237.03014号 科琳娜·科斯特;克莱门斯·库普克;德克·帕丁森 8 2011 线性不等式的模态逻辑。 Zbl 1254.03036号 克莱门斯·库普克;德克·帕丁森 6 2010 用于联合盲文描述逻辑的全局缓存。 Zbl 1291.03017号 拉杰夫·戈尔;克莱门斯·库普克;德克·帕丁森;卢茨·施罗德 4 2010 余代数逻辑的最优表算法。 兹比尔1284.03207 拉杰夫·戈尔;克莱门斯·库普克;德克·帕丁森 三 2010 整套合作。 Zbl 1209.68161号 克莱门斯·库普克;简·拉特 1 2010 邻域结构:双相似性和基本模型理论。 Zbl 1172.03011号 Helle Hvid Hansen先生;克莱门斯·库普克;埃里克·帕奎特 33 2009 用于余代数\(\mu\)-演算的EXPTIME表格。 兹比尔1257.03045 科琳娜·科斯特;克莱门斯·库普克;德克·帕丁森 10 2009 表征行为对等:一枚硬币的三面。 Zbl 1239.68045号 克莱门斯·库普克;劳尔·安德烈斯 4 2009 通过游戏归纳终端序列。 Zbl 1236.03059号 克莱门斯·库普克 三 2009 代数自动机理论:基本结果。 Zbl 1161.18001号 克莱门斯·库普克;维尼马,伊德 11 2008 有限Moss逻辑的完备性。 Zbl 1233.03029号 克莱门斯·库普克;亚历山大·库兹;维尼马,伊德 7 2008 观察联盟和整套合作。 Zbl 1279.68233号 克莱门斯·库普克;简·拉特 三 2008 邻里结构的相互模拟。 Zbl 1172.03314号 Helle Hvid Hansen先生;克莱门斯·库普克;埃里克·帕奎特 7 2007 余代数的超滤扩展。 Zbl 1151.03357号 库普克,C。;A.库尔兹。;帕丁森,D。 9 2005 石煤层。 Zbl 1075.68053号 克莱门斯·库普克;亚历山大·库兹;维尼马,伊德 42 2004 联合逻辑的代数语义。 Zbl 1271.03031号 克莱门斯·库普克;亚历山大·库兹;德克·帕丁森 22 2004 单调模态逻辑的联合观点。 Zbl 1271.03029号 Helle Hvid Hansen先生;克莱门斯·库普克 21 2004 石煤层。 Zbl 1270.03142号 克莱门斯·库普克;亚历山大·库兹;维尼马,伊德 1 2003 所有引用出版物 前5名被引用出版物 全部的 前5名257位作者引用 15 克莱门斯·库普克 15 卢茨·施罗德 13 德克·帕丁森 10 朱里安·罗特 9 维尼马,伊德 8 吉姆·德·格罗特 8 van Benthem,Johan F.A.K。 7 Bezhanishvili,尼克 7 德克·霍夫曼 7 鲁滕,简·J·M·M。 6 古拉姆·贝扎尼什维利 6 Helle Hvid Hansen先生 6 亚历山大·库兹 6 佩德罗·诺拉 5 塞尔吉奥·阿图罗,塞拉尼 5 斯特凡·米利厄斯 5 安德烈亚斯·皮耶利斯 5 亚历山德拉·席尔瓦 5 汉斯·皮特·范·迪特马什 4 贝尔科娃,玛尔塔 4 马塞洛·玛丽亚·邦桑格 4 塞巴斯蒂安·恩奎斯特 4 尼尔·加尼 4 丹尼尔·豪斯曼 4 帕特里克·J·莫兰迪。 4 Daniela Luan Petrisan 4 托尔斯滕·维曼 三 马可·卡洛蒂 三 马泰奥·卡布奇 三 卢卡·卡莱 三 科琳娜·科斯特 三 布鲁诺加夫拉诺维奇 三 Hasuo,一郎 三 托比亚斯·卡佩 三 胜本,Shin-ya 三 丸山义弘 三 内维斯、雷纳托 三 弗雷德里克·诺德瓦尔·福斯伯格 三 马丁·奥托 三 埃里克·帕奎特 三 戴维·斯普伦格 三 格科·范·海尔特 2 萨姆森·艾布拉姆斯基 2 阿达梅克,吉安尼 2 巴托斯·贝德纳西克 2 菲律宾邦奇 2 维南齐奥·卡普雷塔 2 肯塔·乔 2 Ivano A.Ciardelli。 2 科恩、利隆 2 托马斯·科尔科姆贝特 2 弗雷德里克·达尔奎斯特 2 Ernst-Erich Doberkat 2 马特·多斯塔尔 2 范洁 2 理查德·加纳 2 瓦伦丁·F·戈兰科。 2 拉杰夫·普拉巴卡尔·戈尔 2 乔治·戈特洛布 2 海因氏胶 2 朱尔斯·赫奇斯 2 阿拉什·卡里米 2 Toshiki Kataoka 2 巴托克·克林 2 Yuichi Komorida 2 巴巴拉·科尼格 2 马库斯·科洛奇 2 劳尔·安德烈斯 2 米歇尔·莱克莱尔 2 杰雷米·莱登特 2 拉杜·马达尔 2 约翰内斯·马蒂 2 马克西米利安·马克思 2 米卡·米查尔斯基,克里斯蒂娜 2 玛丽·劳雷·穆格尼尔 2 罗伯特·S·R·迈尔斯。 2 Koki西泽 2 帕南加登,普拉卡什 2 Damien Pous 2 大卫·J·派姆。 2 塞巴斯蒂安·鲁道夫 2 朱利安·萨拉曼卡 2 马蒂奥·桑马蒂诺 2 埃兹拉·肖恩 2 米夏·托马佐 2 鲁本·图尔肯堡 2 费德里科·乌利亚纳 2 海宁·乌尔巴特 2 王燕京 2 威尔德,保罗 2 温特,乔斯特 2 你,嘉慧 2 于俊华 2 法比奥·扎纳西 2 张恒 1 罗伯特·阿特基 1 弗兰兹·巴德 1 Jean-François巴杰 1 扎伊纳布·巴赫蒂亚里 1 博尔贾·巴勒 …还有157位作者 全部的 前5名36篇连载文章中引用 22 计算机科学中的逻辑方法 14 理论计算机科学 10 信息与计算 8 逻辑研究 8 纯逻辑与应用逻辑年鉴 7 MSCS公司。计算机科学中的数学结构 6 程序设计中的逻辑和代数方法杂志 4 人工智能 4 符号逻辑述评 三 计算机与系统科学杂志 三 纯代数与应用代数杂志 三 符号逻辑杂志 三 ACM计算逻辑汇刊 2 信息学学报 2 数学进展 2 代数普遍性 2 哲学逻辑杂志 2 自动推理杂志 2 逻辑程序设计理论与实践 1 卡罗莱纳大学数学评论 1 圣母院形式逻辑杂志 1 SIAM计算机杂志 1 合成 1 拓扑及其应用 1 订单 1 数学逻辑档案 1 逻辑、语言与信息杂志 1 应用的分类结构 1 应用非经典逻辑杂志 1 范畴的理论与应用 1 数学与人工智能年鉴 1 计算系统理论 1 软计算 1 逻辑与代数程序设计杂志 1 逻辑与逻辑哲学 1 应用逻辑杂志 全部的 前5名22个领域被引用 129 计算机科学(68至XX) 125 数学逻辑和基础(03-XX) 45 范畴理论;同调代数(18-XX) 21 阶、格、有序代数结构(06-XX) 15 博弈论、经济学、金融和其他社会和行为科学(91-XX) 13 一般拓扑结构(54至XX) 5 一般代数系统(08-XX) 2 数论(11-XX) 2 群论与推广(20-XX) 2 概率论与随机过程(60-XX) 1 交换代数(13-XX) 1 线性代数和多线性代数;矩阵理论(15-XX) 1 结合环与代数(16-XX) 1 非结合环与代数(17-XX) 1 拓扑群、李群(22日至XX日) 1 测量和集成(28-XX) 1 算子理论(47-XX) 1 几何图形(51至XX) 1 微分几何(53至XX) 1 整体分析,流形分析(58至XX) 1 量子理论(81-XX) 1 系统论;控制(93至XX) 按年份列出的引文