编辑配置文件(在新选项卡中打开) 霍斯特·赖切尔 合著者距离 作者ID: 雷切尔·霍斯特 发布日期: 霍斯特·赖切尔;H.赖切尔。 编入索引的文档: 33出版物自1930年以来,包括2本书 7作为编辑的贡献 合著者: 17位合著者具有14联合出版物 488位合作作者 全部的 前5名合著者 26 单作者的 3 海因茨·卡彭斯特 3 蒂尔·莫萨科夫斯基 2 马库斯·罗根巴赫 2 卢茨·施罗德 1 克劳斯·贝内克 1 彼得·伯迈斯特 1 莫拉·塞里奥利 1 哈特穆特·埃里格 1 阿方索·加尔瓦奥·费雷拉 1 玛丽亚·哈塞 1 乌尔里希·哈普巴赫。 1 巴特·雅各布斯 1 克劳斯·皮特·詹特克 1 拉里·莫斯 1 费尔南多·奥雷哈斯 1 简·J·M·M·鲁顿。 1 苏菲·蒂森 全部的 前5名系列 4 计算机科学课堂讲稿 2 Mathematische Nachrichten数学 2 德国民主共和国数学协会 2 理论计算机科学电子笔记 1 代数普遍性 1 卡罗莱纳大学数学评论 1 欧洲理论计算机科学协会(EATCS)公报 1 MSCS公司。计算机科学中的数学结构 1 Elektronische信息verarbeitung und Kybernetik 1 德累斯顿理工大学Wissenschaftliche Zeitschrift der Technischen Universityät Dresden 1 RAIRO公司。理论信息学及其应用 1 逻辑与代数程序设计杂志 1 国际计算机科学专著系列 1 厄斯特雷奇谢·泽切里夫·维尔梅松(Oh sterreichische Zeitschrift für Vermessungswesen) 1 数学研究 全部的 前5名领域 28 计算机科学(68至XX) 8 一般代数系统(08-XX) 7 总体主题;集合(00-XX) 7 数学逻辑和基础(03-XX) 4 范畴理论;同调代数(18-XX) 1 组合数学(05-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 18出版物有被引用167中的次132文件 引用人▼ 年份▼ 一种基于终端余代数的对象语义方法。 Zbl 0854.18006号 霍斯特·赖切尔 48 1995 初始可计算性、代数规范和部分代数。 Zbl 0634.68001号 霍斯特赖歇尔 28 1987 行为等效性-初始和最终规范方法的统一概念。 Zbl 0479.68017号 H.赖切尔。 26 1981 抽象数据类型中条件方程的行为有效性。 Zbl 0616.68020号 H.赖切尔。 14 1985 最初限制代数理论。 Zbl 0469.68026号 H.赖切尔。 12 1980 部分代数上的结构归纳法。部分代数理论与应用导论。第二部分。 Zbl 0553.08002号 霍斯特·赖切尔 6 1984 从全等式到部分一阶逻辑。 Zbl 0949.03028号 莫拉·塞里奥利;蒂尔·莫萨科夫斯基;霍斯特·赖切尔 5 1999 CoCASL中的代数-余代数规范。 Zbl 1088.68115号 蒂尔·莫萨科夫斯基;卢茨·施罗德;马库斯·罗根巴赫;霍斯特·赖切尔 5 2006 计算机科学中的协同代数方法,CMCS’98。第一次研讨会论文集,葡萄牙里斯本,1998年3月28日至29日。 Zbl 0903.00067号 4 1998 CoCasl中的代数余代数规范。 Zbl 1278.68209号 蒂尔·莫萨科夫斯基;霍斯特·赖切尔;马库斯·罗根巴赫;卢茨·施罗德 4 2003 最初的行为限制。 Zbl 0594.68013号 霍斯特·赖切尔 3 1986 等式偏好。 兹伯利0524.08005 克劳斯·贝内克;霍斯特·赖切尔 3 1983 非上下文无关语言的初始代数语义。 Zbl 0395.68070号 海因茨·卡彭斯特;霍斯特·赖切尔 3 1977 偏代数——结构归纳的坚实基础。 Zbl 0546.08004号 赖歇尔,H。 2 1984 计算理论基础。1995年8月22日至25日,第十届国际会议,FCT’95,德国德累斯顿。诉讼程序。 Zbl 0921.00030号 1 1995 规范语义。 Zbl 0945.68131号 霍斯特·赖切尔 1 1999 数据和过程类型规范的统一模型理论。 Zbl 0965.18004号 霍斯特·赖切尔 1 2000 卡诺尼采Zerlegung von Funktoren。 Zbl 0185.04101号 霍斯特·赖切尔 1 1969 CoCASL中的代数-余代数规范。 Zbl 1088.68115号 蒂尔·莫萨科夫斯基;卢茨·施罗德;马库斯·罗根巴赫;霍斯特·赖切尔 5 2006 CoCasl中的代数余代数规范。 Zbl 1278.68209号 蒂尔·莫萨科夫斯基;霍斯特·赖切尔;马库斯·罗根巴赫;卢茨·施罗德 4 2003 数据和过程类型规范的统一模型理论。 兹比尔0965.18004 霍斯特·赖切尔 1 2000 从全等式到部分一阶逻辑。 Zbl 0949.03028号 莫拉·塞里奥利;蒂尔·莫萨科夫斯基;霍斯特·赖切尔 5 1999 规范语义。 Zbl 0945.68131号 霍斯特·赖切尔 1 1999 计算机科学中的协同代数方法,CMCS’98。第一次研讨会论文集,葡萄牙里斯本,1998年3月28日至29日。 Zbl 0903.00067号 4 1998 一种基于终端余代数的对象语义方法。 Zbl 0854.18006号 霍斯特·赖切尔 48 1995 计算理论基础。1995年8月22日至25日,第十届国际会议,FCT’95,德国德累斯顿。诉讼程序。 Zbl 0921.00030号 1 1995 初始可计算性、代数规范和部分代数。 Zbl 0634.68001号 霍斯特赖歇尔 28 1987 最初的行为限制。 Zbl 0594.68013号 霍斯特·赖切尔 3 1986 抽象数据类型中条件方程的行为有效性。 Zbl 0616.68020号 H.赖切尔。 14 1985 部分代数上的结构归纳法。部分代数理论与应用导论。第二部分。 Zbl 0553.08002号 霍斯特·赖切尔 6 1984 偏代数——结构归纳的坚实基础。 Zbl 0546.08004号 H.赖切尔。 2 1984 等式偏好。 Zbl 0524.08005号 克劳斯·贝内克;霍斯特·赖切尔 3 1983 行为等效性-初始和最终规范方法的统一概念。 Zbl 0479.68017号 H.赖切尔。 26 1981 最初限制代数理论。 Zbl 0469.68026号 H.赖切尔。 12 1980 非上下文无关语言的初始代数语义。 Zbl 0395.68070号 海因茨·卡彭斯特;霍斯特·赖切尔 3 1977 卡诺尼采Zerlegung von Funktoren。 Zbl 0185.04101号 霍斯特赖歇尔 1 1969 所有引用出版物 前5名被引用出版物 全部的 前5名被142位作者引用 11 唐纳德·桑内拉。 11 安德烈·塔莱基 10 罗尔夫·亨尼克 8 米歇尔·比多瓦 6 卢茨·施罗德 5 拉兹万·迪亚科内斯库 5 哈特穆特·埃里格 5 罗伯特·伊恩·戈德布拉特 5 巴特·雅各布斯 4 亚历山大·库兹 4 蒂尔·莫萨科夫斯基 4 格里高·罗什乌 3 约瑟夫·阿马迪·戈根 3 多雷尔·卢卡努 3 马丁斯(Manuel António Martins) 3 何塞·梅塞盖尔·瓜伊塔 3 埃里克·波尔 3 马丁·威尔辛 3 Uwe E.沃尔特。 2 Jan A.Bergstra。 2 科琳娜·科斯特 2 丹尼尔·加恩 2 马丁·格罗·罗德 2 马丁·霍夫曼 2 哈拉尔德·科尼格 2 汉斯·约尔格·克鲁斯基 2 亚历山大·马德拉 2 格兰特·马尔科姆 2 费尔南多·奥雷贾斯 2 彼得·帕达维茨 2 德克·帕丁森 2 霍斯特·赖切尔 2 简·罗特 2 简·J·M·M·鲁顿。 2 朱塞佩·斯科洛 2 亨德里克·泰斯 2 Ţuţu,伊奥努 1 阿达梅克,吉安尼 1 玛丽亚·阿尔普特 1 托尔斯滕·阿滕柯奇 1 吉安卢卡·阿马托 1 阿德里亚娜·阿佩特里 1 维亚切斯拉夫·阿列克桑德罗维奇·阿尔塔莫诺夫 1 埃吉迪奥·阿斯泰西亚诺 1 谢尔盖·巴本尼舍夫 1 巴博萨、路易斯·索亚雷斯 1 克劳斯·贝内克 1 宾利,赫歇尔·拉马尔 1 吉尔斯·伯诺 1 埃德·布林克斯马 1 布鲁斯(Kim B.Bruce)。 1 彼得·伯迈斯特 1 罗德·M·伯斯托尔。 1 卡布雷拉(Inma P.Cabrera)。 1 卡洛斯·卡莱罗 1 卢卡·卡德利 1 克劳迪娅·埃琳娜·奇里 1 米海·Codescu 1 罗伯特·J·科尔文。 1 巴勃罗·科德罗 1 安德烈亚·科拉迪尼 1 埃里克·P·德文克。 1 克劳斯·迪特尔·德内克 1 玛丽·雷内·唐纳迪欧 1 弗朗西斯科·杜兰 1 基督教徒Dzierzon 1 伊莎贝尔·M·A·费雷里姆。 1 JoséLuiz Fiadeiro 1 大卫·弗里根斯 1 奥维迪乌·盖奥吉斯 1 杰里米·吉本斯 1 里卡多·贡萨阿尔维斯 1 海因氏胶 1 格洛丽亚·古铁雷斯 1 丹尼尔·豪斯曼 1 瑞科·赫克尔 1 克劳迪奥·赫米达 1 霍斯特·赫里奇 1 汉斯-于尔根·霍克 1 杰西·休斯 1 格雷厄姆·赫顿 1 皮尔雷·阿莱·雅克敏 1 祖拉布·詹利泽 1 罗莎·M·吉梅内斯(Rosa M.Jiménez)。 1 彼得·约翰斯通(Peter T.Johnstone)。 1 斯特凡·迈克尔·卡尔斯 1 坎普,汤姆 1 赫莱内·基什内尔 1 特奥多尔·科纳皮克 1 亚历山大·纳普 1 Krieg-Brückner,伯尔尼 1 拉尔夫·拉梅尔 1 萨沃米尔·拉索塔 1 詹姆斯·利普顿(James B.Lipton)。 1 克里斯蒂安·梅德 1 伯恩德·马赫 1 安德烈亚斯·马尔彻 1 文森佐·曼卡 1 哈维尔·马丁内斯·德尔·卡斯蒂略 1 德拉甘·马什乌洛维奇 …还有42位作者 全部的 前5名26篇连载文章中引用 47 理论计算机科学 5 信息学报 5 Studia Logica公司 4 信息与计算 4 RAIRO公司。理论信息学及其应用 4 逻辑与代数程序设计杂志 3 计算机与系统科学杂志 3 苏联数学杂志 3 程序设计中的逻辑和代数方法杂志 2 代数普遍性 2 Cahiers de Topologie et Géométrie Différentiele Cate goriques公司 2 纯逻辑与应用逻辑年鉴 2 计算的形式方面 2 应用的分类结构 2 计算机基础理论 2 应用逻辑杂志 1 信息处理信件 1 应用数学与计算 1 模糊集与系统 1 代数杂志 1 纯粹与应用代数杂志 1 Quaestions数学 1 MSCS公司。计算机科学中的数学结构 1 符号逻辑公报 1 计算机科学中的逻辑方法 1 亚欧数学杂志 全部的 前5名在6个字段中引用 110 计算机科学(68至XX) 44 数学逻辑和基础(03-XX) 27 范畴理论;同调代数(18-XX) 15 一般代数系统(08-XX) 2 有序,格,有序代数结构(06-XX) 1 交换代数(13-XX) 按年份列出的引文