×
作者ID: 雷切尔·霍斯特“Reichel,Horst”最近发表的zbMATH文章
发布日期: 霍斯特·赖切尔;H.赖切尔。
编入索引的文档: 33出版物自1930年以来,包括2本书
7作为编辑的贡献
合著者: 17位合著者具有14联合出版物
488位合作作者

按年份列出的出版物

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名

被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位作者

按年份列出的引文