编辑配置文件（在新选项卡中打开） 亚历山大·克劳斯 合著者距离 作者ID： 克劳斯·亚历山大 发布方式： 亚历山大·克劳斯 外部链接： MGP公司 已编制索引的文档： 14出版物自2006年起 合著者： 14合著者具有10联合出版物 290位合作作者 全部的 前5名合著者 4 单作者的 三 托比亚斯·尼普科 2 贾斯敏·克里斯蒂安·布兰切特 2 卢卡斯·布尔瓦恩 2 弗洛里安·哈夫特曼 1 安娜·波夫 1 勒文特·埃尔科克 1 卡斯滕·福斯 1 吉尔根·吉斯尔 1 塞萨里·卡利西克 1 昆查尔，Ondřej 1 安德烈亚斯·施洛普 1 索索、马蒂厄 1 克里斯蒂安·斯特纳格尔 1 雷内·蒂曼 系列 三 自动推理杂志 1 MSCS公司。计算机科学中的数学结构 领域 14 计算机科学（68至XX） 4 数学逻辑和基础（03-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 13出版物有被引用175中的次140文件 引用人▼ 年份▼ 与Isabelle/HOL进行必要的函数编程。 兹比尔1165.68352 卢卡斯·布尔瓦恩;亚历山大·克劳斯;佛罗里达州哈夫特曼;勒文特·埃尔科克;约翰·马修斯 30 2008 Isabelle/HOL中的数据细化。 Zbl 1317.68212号 弗洛里安·哈夫特曼;亚历山大·克劳斯;Kunčar，安大略省;托比亚斯·尼普科 26 2013 高阶逻辑中的部分递归函数。 Zbl 1222.68367号 亚历山大·克劳斯 19 2006 证明珍珠：正则表达式等价和关系代数。 Zbl 1269.68090号 亚历山大·克劳斯;托比亚斯·尼普科 19 2012 可扩展的LCF风格校对翻译。 Zbl 1317.68214号 塞萨里·卡利西克;亚历山大·克劳斯 17 2013 高阶逻辑中的部分和嵌套递归函数定义。 Zbl 1214.68335号 亚历山大·克劳斯 16 2010 从高阶逻辑到集合论的机械化转换。 Zbl 1291.68355号 亚历山大·克劳斯;安德烈亚斯·施洛普 15 2010 经认证的尺寸变化终端。 Zbl 1213.68571号 亚历山大·克劳斯 12 2007 在Isabelle/HOL中查找终止证明的词典顺序。 Zbl 1144.68352号 卢卡斯·布尔瓦恩;亚历山大·克劳斯;托比亚斯·尼普科 10 2007 交互式定理证明程序中的偏爱和递归——概述。 Zbl 1361.68186号 安娜·波夫;亚历山大·克劳斯;索索、马蒂厄 5 2016 高阶公式的单调性推理。 Zbl 1291.03016号 贾斯敏·克里斯蒂安·布兰切特;亚历山大·克劳斯 三 2010 高阶公式的单调性推理。 Zbl 1266.03021号 贾斯敏·克里斯蒂安·布兰切特;亚历山大·克劳斯 2 2011 通过终止重写来终止Isabelle函数。 Zbl 1342.68289号 亚历山大·克劳斯;克里斯蒂安·斯特纳格尔;雷内·蒂曼;Fuhs，卡斯滕;吉尔根·吉斯尔 1 2011 交互式定理证明程序中的偏爱和递归——概述。 Zbl 1361.68186号 安娜·波夫;亚历山大·克劳斯;索索、马蒂厄 5 2016 Isabelle/HOL中的数据细化。 Zbl 1317.68212号 弗洛里安·哈夫特曼;亚历山大·克劳斯;昆查尔，Ondřej;托比亚斯·尼普科 26 2013 可扩展的LCF风格校对翻译。 Zbl 1317.68214号 塞萨里·卡利西克;亚历山大·克劳斯 17 2013 证明珍珠：正则表达式等价和关系代数。 Zbl 1269.68090号 亚历山大·克劳斯;托比亚斯·尼普科 19 2012 高阶公式的单调性推理。 Zbl 1266.03021号 贾斯敏·克里斯蒂安·布兰切特;亚历山大·克劳斯 2 2011 通过终止重写来终止Isabelle函数。 Zbl 1342.68289号 亚历山大·克劳斯;克里斯蒂安·斯特纳格尔;雷内·蒂曼;卡斯滕·福斯;吉尔根·吉斯尔 1 2011 高阶逻辑中的部分和嵌套递归函数定义。 Zbl 1214.68335号 亚历山大·克劳斯 16 2010 从高阶逻辑到集合论的机械化转换。 兹比尔1291.68355 亚历山大·克劳斯;安德烈亚斯·施洛普 15 2010 高阶公式的单调性推理。 Zbl 1291.03016号 贾斯敏·克里斯蒂安·布兰切特;亚历山大·克劳斯 三 2010 与Isabelle/HOL进行必要的函数编程。 Zbl 1165.68352号 卢卡斯·布尔瓦恩;亚历山大·克劳斯;弗洛里安·哈夫特曼;勒文特·埃尔科克;约翰·马修斯 30 2008 经认证的尺寸变化终端。 Zbl 1213.68571号 亚历山大·克劳斯 12 2007 在Isabelle/HOL中查找终止证明的词典顺序。 Zbl 1144.68352号 卢卡斯·布尔瓦恩;亚历山大·克劳斯;托比亚斯·尼普科 10 2007 高阶逻辑中的部分递归函数。 Zbl 1222.68367号 亚历山大·克劳斯 19 2006 所有引用出版物 前5名被引用出版物 全部的 前5名207位作者引用 17 托比亚斯·尼普科 13 塞萨里·卡利西克 10 贾斯敏·克里斯蒂安·布兰切特 10 彼得·兰米奇 8 弗洛里安·拉贝 7 安德烈亚斯·洛赫比勒 6 安德烈·波佩斯库 6 雷内·蒂曼 5 迈克尔·科尔哈塞 5 昆查尔，Ondřej 5 劳伦斯·查尔斯·保尔森 4 Jose Divasón 4 马蒂亚斯·弗勒里 4 亚历山大·克劳斯 4 克里斯蒂安·斯特纳格尔 4 乔治·斯特鲁斯 4 德米特里·特拉泰尔 4 约瑟夫·乌尔班 4 马卡里乌斯·温泽尔 三 杰苏斯·阿兰塞 三 阿拉斯代尔·阿姆斯特朗 三 卡斯滕·福斯 三 Thibault Gauthier 三 吉尔根·吉斯尔 三 拉马纳·库马尔 三 内尔玛·莫雷拉 三 玛格努斯·O·米琳。 三 史蒂文·奥布阿 三 Pąk，卡罗尔 三 安德斯·施利奇特克鲁尔 三 城市，基督教 2 克劳斯·艾利格 2 Böhme，萨沙 2 安娜·波夫 2 卢卡斯·布尔瓦恩 2 Chandy，Kanianthra玛尼 2 弗洛里安·哈夫特曼 2 费比安·伊姆勒 2 亚当·科普洛夫斯基 2 菲利普·马里奇 2 库尔特·梅尔霍恩 2 西芒，索萨甜瓜 2 Mitra，萨扬 2 穆勒，丹尼斯 2 分手，迈克尔 2 戴维·佩雷拉（David P.Pereira）。 2 亚历克斯·波坦 2 Damien Pous 2 克里斯汀·里兹卡拉 2 西蒙·罗科普夫 2 托拜厄斯·隆格 2 伊娜·谢弗 2 彼得·施奈德·坎普 2 塞菲加·雷扎 2 尼古拉斯·斯莫尔博内 2 斯威德斯基，斯蒂芬 2 Laurent Théry 2 托马斯·图姆 2 克里斯托夫·韦登巴赫 2 Akihisa山田 1 穆罕默德·阿卜杜勒·阿齐兹 1 奥斯卡·亚伯拉罕森 1 马克·亚当斯 1 艾亚德·阿尔卡萨 1 阿丽亚娜·阿尔维斯·阿尔梅达 1 罗布·D·阿尔森。 1 大卫·阿斯皮纳尔 1 法哈德·奥萨夫 1 阿维拉·达席尔瓦（Avelar da Silva），安德烈亚·B。 1 毛里西奥·阿亚拉·林科恩 1 格特鲁德·鲍尔 1 阿米尔·本·阿姆拉姆。 1 斯特凡·贝尔霍费尔 1 马克·贝泽姆 1 弗雷德里克·布兰基 1 布洛特，亚瑟 1 丹尼·鲍尔森（Danny Bougsted Poulsen） 1 马塞洛·玛丽亚·邦桑格 1 塔比亚·博迪斯 1 艾默里·布齐 1 托马斯·布雷班特 1 约阿希姆·布雷特纳 1 布林科普，霍克 1 萨宾·布罗达 1 乍得·布朗·爱德华 1 艾伦·邦迪 1 拉斐尔·考德利埃 1 西尔维亚卡瓦达斯 1 陈，冉 1 科恩·克莱森 1 迈克尔·科迪什 1 西里尔·科恩 1 Joshua M.科恩。 1 可口、蒂埃里 1 西蒙·克鲁内斯 1 皮埃尔·埃瓦里斯特·达甘 1 Dang，Tat Dat公司 1 达斯，阿努帕姆 1 克里斯蒂安·多兹卡尔 1 阿米娜·杜马内 …还有107位作者 全部的 前5名14篇连载文章中引用 35 自动推理杂志 4 符号计算杂志 4 MSCS公司。计算机科学中的数学结构 4 函数编程杂志 三 计算的形式方面 2 数学与人工智能年鉴 2 计算机科学中的数学 2 计算机科学中的逻辑方法 2 程序设计中的逻辑和代数方法杂志 1 理论计算机科学 1 信息与计算 1 符号逻辑公报 1 形式化推理杂志 1 数学论坛，Pi 全部的 前5名16个领域引用 135 计算机科学（68至XX） 36 数学逻辑和基础（03-XX） 4 组合数学（05-XX） 4 交换代数（13-XX） 4 数值分析（65-XX） 三 线性代数和多线性代数；矩阵理论（15-XX） 三 运筹学、数学规划（90-XX） 2 数论（11-XX） 2 范畴理论；同调代数（18-XX） 2 凸和离散几何（52-XX） 1 阶、格、有序代数结构（06-XX） 1 代数几何（14-XX） 1 常微分方程（34-XX） 1 动力系统和遍历理论（37至XX） 1 生物学和其他自然科学（92-XX） 1 信息和通信理论，电路（94-XX） 按年份列出的引文