编辑配置文件（在新选项卡中打开） 克莱门斯·库普克 合著者距离 作者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 勒登特，Jérémy 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 邻域结构：双相似性和基本模型理论。 兹比尔1172.03011 Helle Hvid Hansen先生;克莱门斯·库普克;埃里克·帕奎特 33 2009 联合逻辑的代数语义。 Zbl 1271.03031号 克莱门斯·库普克;亚历山大·库兹;德克·帕丁森 22 2004 单调模态逻辑的联合观点。 Zbl 1271.03029号 Helle Hvid Hansen先生;克莱门斯·库普克 21 2004 模态逻辑的协同语义：综述。 Zbl 1360.03068号 克莱门斯·库普克;德克·帕丁森 20 2011 存在规则的非循环概念及其在本体中查询应答中的应用。 Zbl 1270.68295号 伯纳多·坎卡·格劳;伊恩·霍洛克斯;马库斯·科洛奇;克莱门斯·库普克;Despoina马加;鲍里斯·莫提克;王哲 20 2013 通过二元性最小化。 Zbl 1361.68157号 Bezhanishvili，尼克;克莱门斯·库普克;帕南加登，普拉卡什 14 2012 联合掩护模式的完整性。 Zbl 1261.18006号 克莱门斯·库普克;亚历山大·库兹;维尼马，伊德 11 2012 代数自动机理论：基本结果。 Zbl 1161.18001号 克莱门斯·库普克;维尼马，伊德 11 2008 用于余代数\（\mu\）-演算的EXPTIME表格。 兹比尔1257.03045 科琳娜·科斯特;克莱门斯·库普克;德克·帕丁森 10 2009 通过二元性学习Coalgebra。 Zbl 1524.68158号 西蒙·巴洛克;克莱门斯·库普克;朱里安·罗特 9 2019 余代数的超滤扩展。 Zbl 1151.03357号 库普克，C。;库尔兹，A。;帕丁森，D。 9 2005 用于余代数\（\mu\）-演算的EXPTIME表格。 Zbl 1237.03014号 科琳娜·科斯特;克莱门斯·库普克;德克·帕丁森 8 2011 有限Moss逻辑的完备性。 Zbl 1233.03029号 克莱门斯·库普克;亚历山大·库兹;维尼马，伊德 7 2008 对迭代开放游戏的组合处理。 Zbl 1416.91036号 尼尔·加尼;克莱门斯·库普克;阿拉斯代尔·兰伯特;弗雷德里克·诺德瓦尔·福斯伯格 7 2018 邻里结构的相互模拟。 兹比尔1172.03314 Helle Hvid Hansen先生;克莱门斯·库普克;埃里克·帕奎特 7 2007 关于自动序列的最后余代数。 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 1499.68087号 乔治·戈特洛布;安德烈·赫尼奇;克莱门斯·库普克;托马斯·卢卡西维奇 4 2021 余代数动态逻辑的弱完备性。 Zbl 1476.03036号 Helle Hvid Hansen先生;克莱门斯·库普克 4 2015 在主理想域上学习加权自动机。 Zbl 1461.68093号 格科·范·海尔特;克莱门斯·库普克;朱里安·罗特;亚历山德拉·席尔瓦 4 2020 用于联合盲文描述逻辑的全局缓存。 Zbl 1291.03017号 拉杰夫·戈尔;克莱门斯·库普克;德克·帕丁森;卢茨·施罗德 4 2010 行为对等的特征：一枚硬币的三个面。 Zbl 1239.68045号 克莱门斯·库普克;劳尔·安德烈斯 4 2009 观察联盟和整套合作。 Zbl 1279.68233号 克莱门斯·库普克;简·拉特 三 2008 奇偶博弈和用于博弈逻辑的自动机。 Zbl 1499.03024号 Helle Hvid Hansen先生;克莱门斯·库普克;约翰内斯·马蒂;维尼马，伊德 三 2018 余代数逻辑的最优表算法。 Zbl 1284.03207号 拉杰夫·戈尔;克莱门斯·库普克;德克·帕丁森 三 2010 通过游戏进行终端序列诱导。 Zbl 1236.03059号 克莱门斯·库普克 三 2009 算术模态逻辑中的全局假设推理。 Zbl 1436.03136号 克莱门斯·库普克;德克·帕丁森;卢茨·施罗德 2 2015 通过逻辑学习英语。 Zbl 1503.68083号 西蒙·巴洛克;克莱门斯·库普克 2 2018 共导谓词的表达逻辑。 Zbl 07471679号 克莱门斯·库普克;朱里安·罗特 2 2021 共导谓词的表达逻辑。 兹伯利07650839 克莱门斯·库普克;朱里安·罗特 2 2020 整套合作。 Zbl 1209.68161号 克莱门斯·库普克;简·拉特 1 2010 无限视界广泛形式的博弈，联合。 Zbl 07722654号 马泰奥·卡布奇;尼尔·加尼;克莱门斯·库普克;勒登特，Jérémy;弗雷德里克·诺德瓦尔·福斯伯格 1 2023 （k）-正则序列的最后一个余代数。 Zbl 1407.68318号 Helle Hvid Hansen先生;克莱门斯·库普克;简·拉特;温特，乔斯特 1 2014 石煤层。 Zbl 1270.03142号 克莱门斯·库普克;亚历山大·库兹;维尼马，伊德 1 2003 拓扑不动点逻辑游戏。 Zbl 1478.03064号 Bezhanishvili，尼克;克莱门斯·库普克 1 2016 成分博弈论，成分。 Zbl 1480.91052号 罗伯特·阿特基;布鲁诺加夫拉诺维奇;尼尔·加尼;克莱门斯·库普克;勒登特，Jérémy;弗雷德里克·诺德瓦尔·福斯伯格 1 2021 算术模态逻辑中具有全局假设的协同代数推理。 Zbl 1502.68285号 克莱门斯·库普克;德克·帕丁森;卢茨·施罗德 1 2022 无限视界广泛形式的博弈，联合。 Zbl 07722654号 马泰奥·卡布奇;尼尔·加尼;克莱门斯·库普克;勒登特，Jérémy;弗雷德里克·诺德瓦尔·福斯伯格 1 2023 算术模态逻辑中具有全局假设的协同代数推理。 Zbl 1502.68285号 克莱门斯·库普克;德克·帕丁森;卢茨·施罗德 1 2022 保护存在规则和描述逻辑的稳定模型语义：可判定性和复杂性。 Zbl 1499.68087号 乔治·戈特洛布;安德烈·赫尼奇;克莱门斯·库普克;托马斯·卢卡西维奇 4 2021 共导谓词的表达逻辑。 Zbl 07471679号 克莱门斯·库普克;朱里安·罗特 2 2021 成分博弈论，成分。 Zbl 1480.91052号 罗伯特·艾奇;布鲁诺加夫拉诺维奇;尼尔·加尼;克莱门斯·库普克;勒登特，Jérémy;弗雷德里克·诺德瓦尔·福斯伯格 1 2021 在主理想域上学习加权自动机。 Zbl 1461.68093号 格科·范·海尔特;克莱门斯·库普克;朱里安·罗特;亚历山德拉·席尔瓦 4 2020 共导谓词的表达逻辑。 Zbl 07650839号 克莱门斯·库普克;朱里安·罗特 2 2020 通过二元性学习Coalgebra。 Zbl 1524.68158号 西蒙·巴洛克;克莱门斯·库普克;朱里安·罗特 9 2019 对迭代开放游戏的组合处理。 Zbl 1416.91036号 尼尔·加尼;克莱门斯·库普克;阿拉斯代尔·兰伯特;弗雷德里克·诺德瓦尔·福斯伯格 7 2018 奇偶博弈和用于博弈逻辑的自动机。 Zbl 1499.03024号 Helle Hvid Hansen先生;克莱门斯·库普克;约翰内斯·马蒂;维尼马，伊德 三 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号 伯纳多·坎卡·格劳;伊恩·霍洛克斯;Krötzsch，马库斯;克莱门斯·库普克;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表格。 Zbl 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 勒登特，Jérémy 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 Studia Logica公司 8 纯逻辑与应用逻辑年鉴 7 MSCS公司。计算机科学中的数学结构 6 程序设计中的逻辑和代数方法杂志 4 人工智能 4 符号逻辑综述 三 计算机与系统科学杂志 三 纯粹与应用代数杂志 三 符号逻辑杂志 三 ACM计算逻辑事务 2 信息学报 2 数学进展 2 代数Universalis 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） 按年份列出的引文