编辑配置文件(在新选项卡中打开) 克里斯托夫·克里茨 合著者距离 作者ID: 克里茨·克里斯托普 发布日期: 克里斯托夫·克里茨;克里茨,C。 外部链接: MGP公司 已编制索引的文档: 35出版物自1982年以来,包括1本书 合著者: 23位合著者具有30联合出版物 290位合作作者 全部的 前5名合著者 5 单作者的 7 延斯·奥滕 7 克劳斯·维赫劳赫 6 施米特,斯蒂芬 4 碧姬·品特卡 三 洛里戈,洛里 三 海科·曼特尔 2 斯图亚特·艾伦。 2 马克·比克福德 2 罗伯特·李,警察 2 理查德·伊顿 2 托马斯·拉斯 1 沃尔夫冈·比贝尔 1 Tour男孩,蒂埃里 1 克里斯托夫·布兰特 1 Daniel S.Korn。 1 德克斯特·C·科赞。 1 刘公九 1 刘晓明 1 E.莫兰。 1 阿列克西·诺金 1 马里奥·奥尔纳吉 1 伊娃·里希特 1 罗伯特·范·雷内西 全部的 前5名系列 2 理论计算机科学 2 纯逻辑与应用逻辑年鉴 2 自动推理杂志 1 Studia Logica公司 1 信息与计算 1 函数编程杂志 1 IGPL杂志 1 计算机基础理论 1 通用计算机科学杂志 1 应用逻辑杂志 领域 23 计算机科学(68至XX) 22 数理逻辑与基础(03-XX) 2 范畴理论;同调代数(18-XX) 1 实际功能(26年X月X日) 1 运筹学、数学规划(90-XX) 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 25出版物有被引用223中的次160文件 引用人▼ 年份▼ 表征理论。 Zbl 0588.03031号 克里斯托夫·克里茨;克劳斯·维赫劳赫 69 1985 直觉逻辑的ILTP问题库。 兹比尔1113.68093 托马斯·拉斯;延斯·奥滕;克里斯托夫·克里茨 22 2007 实数和实数集的开放子集的表示。 Zbl 0643.03041号 克劳斯·维赫劳赫;克里斯托夫·克里茨 19 1987 使用Nuprl的计算类型理论的创新。 Zbl 1107.68090号 艾伦,S.F。;比克福德,M。;康斯特布尔,R.L。;伊顿,R。;克里茨,C。;洛里戈,L。;E.莫兰。 15 2006 实数和函数的复杂性理论。 Zbl 0501.03025号 克里斯托夫·克里茨;克劳斯·维赫劳赫 13 1982 构造性和递归分析的统一方法。 Zbl 0593.03039号 克里斯托夫·克里茨;克劳斯·维赫劳赫 12 1984 T字符串统一:在非经典证明方法中统一前缀。 Zbl 1412.68251号 延斯·奥滕;克里斯托夫·克里茨 11 1996 经典和非经典逻辑中基于连接的定理证明。 Zbl 0961.68118号 克里斯托夫·克里茨;延斯·奥滕 10 1999 重新审视了建设性分析的紧密性。 Zbl 0639.03060号 克里斯托夫·克里茨;克劳斯·维赫劳赫 8 1987 JProver:将基于连接的定理证明集成到交互式证明助手中。 Zbl 0988.68609号 斯蒂芬·施密特;洛里戈,洛里;克里斯托夫·克里茨;阿列克西·诺金 8 2001 通过Curry-Howard同构通过类比构建证明。 Zbl 0925.68400号 Tour男孩,蒂埃里;克里斯托夫·克里茨 4 1992 Nuprl开放逻辑环境。 Zbl 0963.68532号 斯图亚特·艾伦。;罗伯特·康斯特布尔。;伊顿,里奇;克里斯托夫·克里茨;洛里戈,洛里 4 2000 将非经典矩阵证明转换为序列型系统。 Zbl 1415.03031号 斯蒂芬·施密特;克里斯托夫·克里茨 4 1996 康托空间上函数的第二类计算复杂性。 兹比尔0725.03043 克劳斯·维赫劳赫;克里斯托夫·克里茨 4 1991 ILTP库:为直觉逻辑的自动定理证明器建立基准。 Zbl 1142.68502号 托马斯·拉斯;延斯·奥滕;克里斯托夫·克里茨 三 2005 使用Nuprl proof开发系统构建可靠、高性能的网络。 Zbl 1083.68010号 克里斯托夫·克里茨 三 2004 将矩阵证明转换为序列式系统的统一过程。 兹比尔1003.68147 克里斯托夫·克里茨;斯蒂芬·施密特 三 2000 线性逻辑中基于连接的证明结构。 兹比尔1430.03040 克里茨,C。;H.曼特尔。;Otten,J。;施密特,S。 三 1997 朝向表征理论。 Zbl 0557.03027号 克里斯托夫·克里茨;克劳斯·维赫劳赫 2 1984 证明混合协议正确。 Zbl 1005.68527号 马克·比克福德;克里斯托夫·克里茨;罗伯特·范·雷内西;刘晓明 1 2001 \(\mathcal{MELL}\)的矩阵特征。 Zbl 0928.03009 海科·曼特尔;克里斯托夫·克里茨 1 1998 自动化归纳规格证明。 Zbl 0951.68145号 碧姬·品特卡;克里斯托夫·克里茨 1 1999 Darstellungen和Anwendungen的理论。 Zbl 0579.03045号 克里斯托夫·克里茨 1 1984 通过翻译成经典逻辑来决定直觉命题逻辑。 Zbl 1430.03039号 Daniel S.Korn。;克里斯托夫·克里茨 1 1997 删除证据重建中的冗余。 Zbl 0909.03016号 斯蒂芬·施密特;克里斯托夫·克里茨 1 1998 直觉逻辑的ILTP问题库。 兹比尔1113.68093 托马斯·拉斯;延斯·奥滕;克里斯托夫·克里茨 22 2007 使用Nuprl的计算类型理论的创新。 Zbl 1107.68090号 艾伦,S.F。;比克福德,M。;康斯特布尔,R.L。;伊顿,R。;克里茨,C。;洛里戈,L。;E.莫兰。 15 2006 ILTP库:为直觉逻辑的自动定理证明器建立基准。 Zbl 1142.68502号 托马斯·拉斯;延斯·奥滕;克里斯托夫·克里茨 三 2005 使用Nuprl proof开发系统构建可靠、高性能的网络。 Zbl 1083.68010号 克里斯托夫·克里茨 三 2004 JProver:将基于连接的定理证明集成到交互式证明助手中。 Zbl 0988.68609号 斯蒂芬·施密特;洛里戈,洛里;克里斯托夫·克里茨;阿列克谢·诺金 8 2001 证明混合协议正确。 Zbl 1005.68527号 马克·比克福德;克里斯托夫·克里茨;罗伯特·范·雷内西;刘晓明 1 2001 Nuprl开放逻辑环境。 Zbl 0963.68532号 斯图亚特·艾伦。;罗伯特·康斯特布尔。;伊顿,里奇;克里斯托夫·克里茨;洛里戈,洛里 4 2000 将矩阵证明转换为序列式系统的统一过程。 兹比尔1003.68147 克里斯托夫·克里茨;斯蒂芬·施密特 三 2000 经典和非经典逻辑中基于连接的定理证明。 Zbl 0961.68118号 克里斯托夫·克里茨;延斯·奥滕 10 1999 自动化感应规范证明。 Zbl 0951.68145号 碧姬·品特卡;克里斯托夫·克里茨 1 1999 \(\mathcal{MELL}\)的矩阵特征。 Zbl 0928.03009 海科·曼特尔;克里斯托夫·克里茨 1 1998 删除证据重建中的冗余。 Zbl 0909.03016号 斯蒂芬·施密特;克里斯托夫·克里茨 1 1998 线性逻辑中基于连接的证明结构。 Zbl 1430.03040号 克里茨,C。;H.曼特尔。;Otten,J。;施密特,S。 三 1997 通过翻译成经典逻辑来决定直觉命题逻辑。 Zbl 1430.03039号 Daniel S.Korn。;克里斯托夫·克里茨 1 1997 T字符串统一:在非经典证明方法中统一前缀。 Zbl 1412.68251号 延斯·奥滕;克里斯托夫·克里茨 11 1996 将非经典矩阵证明转换为序列型系统。 Zbl 1415.03031号 斯蒂芬·施密特;克里斯托夫·克里茨 4 1996 通过Curry-Howard同构通过类比构建证明。 Zbl 0925.68400号 Tour男孩,蒂埃里;克里斯托夫·克里茨 4 1992 康托空间上函数的第二类计算复杂性。 Zbl 0725.03043号 克劳斯·维赫劳赫;克里斯托夫·克里茨 4 1991 实数和实数集的开放子集的表示。 Zbl 0643.03041号 克劳斯·维赫劳赫;克里斯托夫·克里茨 19 1987 重新审视了建设性分析的紧密性。 Zbl 0639.03060号 克里斯托夫·克里茨;克劳斯·维赫劳赫 8 1987 表征理论。 Zbl 0588.03031号 克里斯托夫·克里茨;克劳斯·维赫劳赫 69 1985 构造性和递归分析的统一方法。 Zbl 0593.03039号 克里斯托夫·克里茨;克劳斯·维赫劳赫 12 1984 朝向表征理论。 兹伯利0557.03027 克里斯托夫·克里茨;克劳斯·维赫劳赫 2 1984 Darstellungen和Anwendungen的理论。 Zbl 0579.03045号 克里斯托夫·克里茨 1 1984 实数和函数的复杂性理论。 Zbl 0501.03025号 克里斯托夫·克里茨;克劳斯·维赫劳赫 13 1982 所有引用的出版物 前5名被引用出版物 全部的 前5名163位作者引用 16 克劳斯·维赫劳赫 11 克里斯托夫·克里茨 10 瓦斯科·布拉特卡 10 延斯·奥滕 6 彼得·赫特林。 5 罗伯特·李,警察 5 鲁斯兰·阿列克桑德罗维奇·科尔内夫 5 阿诺·保利。 5 马蒂亚斯·施罗德 5 佛罗里达州斯坦伯格 5 霍尔格·蒂斯 4 马克·比克福德 4 迪迪埃·加米歇 4 吉多省盖拉尔迪 4 阿明·海默林 4 伊拉克卡兰塔里 4 维克托·勒沃维奇·塞利瓦诺夫 4 劳伦斯五世·韦尔奇。 4 马丁·齐格勒 三 沃尔夫冈·比贝尔 三 科恩、利隆 三 阿巴斯·埃达拉特 三 佛罗伦萨,卡米洛 三 吉多·菲奥里诺 三 尼古拉斯·佩尔蒂埃 三 斯蒂芬·施密特 三 杰夫·萨特克利夫 三 郑西忠 三 钟,宁 2 谢尔盖·奥特西尔 2 克里斯托夫·埃瓦尔德·本兹穆勒 2 保罗·博尔迪 2 库卡斯·扎伊卡 2 吉尔·Défourneaux 2 罗德尼·格雷厄姆·唐尼 2 毛罗·法拉利 2 马修·霍洛普 2 克里斯托弗·詹金斯 2 塞萨里·卡利西克 2 Konečný,迈克尔 2 杰克·卢茨。 2 艾克·诺依曼 2 弗兰克·芬宁 2 文森特·拉里 2 阿伦·斯塔姆 2 菲利普·苏恩德豪夫 2 Laurent Théry 2 约翰·V·塔克。 2 塞巴斯蒂亚诺·维格纳 1 斯图亚特·艾伦。 1 卡洛·安吉利 1 罗杰·安东森 1 卡洛斯·阿雷塞斯 1 大卫·阿斯皮纳尔 1 亚历山德罗·阿韦隆 1 安德烈·鲍尔 1 维罗尼卡·贝彻 1 克里斯托弗·伯利 1 Tour男孩,蒂埃里 1 克里斯托夫·布兰特 1 Franz Brauße 1 布洛克-南内斯塔德,陶斯 1 乍得·布朗·爱德华 1 纪尧姆·伯勒 1 詹姆斯·考德威尔。 1 瓦伦特·卡萨诺 1 巴勃罗·卡斯特罗。 1 塞里托、塞雷内拉 1 考斯托夫·乔杜里 1 玛尔塔·恰尔迪亚·梅耶 1 彼得·柯林斯。 1 马塞洛·达·S·科里亚 1 戴,亚当·R。 1 马修·德·布莱希特 1 瓦莱里亚·德·佩瓦 1 丹尼·埃文 1 拉里·迪尔 1 罗伊·戴克霍夫 1 理查德·伊顿 1 迈克尔·Färber 1 索菲亚·阿布雷乌,法罗 1 所罗门·费弗曼 1 劳尔·费尔瓦里 1 威廉·劳·福凯 1 伯特伦·弗伦霍夫 1 马丁·吉斯(Martin A.Giese)。 1 瓦西里奥斯·格雷戈里亚德斯 1 谢尔盖·格里戈里夫 1 顾晓阳 1 克里斯蒂安·马赫什·汉森 1 罗伯特·哈珀 1 一郎·哈索 1 何坤 1 纪尧姆·霍夫曼 1 Hou(Favonia)、Kuen-Bang 1 胡伟浩 1 黄文奇 1 巴特·雅各布斯 1 阿里尔·凯利森(Ariel E.Kellison)。 1 塔马斯·基斯佩特 …还有63位作者 全部的 前5名28篇连载文章中引用 33 理论计算机科学 9 纯逻辑与应用逻辑年鉴 7 自动推理杂志 5 复杂性杂志 5 MSCS公司。计算机科学中的数学结构 4 可计算性 三 符号逻辑杂志 三 信息与计算 三 计算机科学中的逻辑方法 2 代数与逻辑 2 符号计算杂志 2 数学逻辑档案 2 数学逻辑季刊(MLQ) 2 数学与人工智能年鉴 2 应用逻辑杂志 2 SibirskieÈlektronnye Matematicheskie Izvestiya公司 2 逻辑与分析杂志 1 人工智能 1 计算 1 信息科学 1 编程与计算机软件 1 西伯利亚数学杂志 1 应用非经典逻辑杂志 1 符号逻辑公报 1 高阶和符号计算 1 RAIRO公司。理论信息学及其应用 1 计算机科学中的数学 1 美国数学学会会刊。B系列 全部的 前5名16个领域引用 111 数理逻辑与基础(03-XX) 96 计算机科学(68至XX) 10 一般拓扑结构(54至XX) 6 测量和集成(28-XX) 三 历史和传记(01-XX) 三 实际功能(26年X月X日) 三 几何图形(51至XX) 2 阶、格、有序代数结构(06-XX) 2 偏微分方程(35-XX) 2 算子理论(47-XX) 2 运筹学、数学规划(90-XX) 1 范畴理论;同调代数(18-XX) 1 动力系统和遍历理论(37至XX) 1 凸和离散几何(52至XX) 1 量子理论(81-XX) 1 博弈论、经济学、金融学以及其他社会和行为科学(91-XX) 按年份列出的引文