编辑配置文件(在新选项卡中打开) 赫尔穆特·帕奇。 合著者距离 作者ID: 德国部分地区 发布日期: H·帕奇。;赫尔穆特·帕奇;赫尔穆特·帕奇。;帕特施,H.A。 更多。。。较少的 已编制索引的文档: 25份出版物自1976年以来,包括2本书 1名编辑贡献·1进一步贡献 合著者: 16位合著者具有20联合出版物 213合著作者 全部的 前5名合著者 7 单作者的 15 彼得·佩珀 9 曼弗雷德·布罗伊 8 弗里德里希·路德维希·鲍尔 6 马丁·威尔辛 6 Wössner,H。 5 沃尔特·多什 4 伯恩哈德·莫勒 2 鲁珀特·格纳茨 2 Krieg-Brückner,伯尔尼 2 阿尔弗雷德·劳特 1 勒克曼,M。 1 T·马特兹纳。 1 克劳斯·萨梅尔森 1 史蒂夫·舒曼 1 拉尔夫·斯坦布吕根 1 F.A.斯托姆。 全部的 前5名系列 5 计算机程序设计科学 1 信息学报 1 信息处理信件 1 RAIRO公司。技术与科学信息 1 计算的形式方面 1 IEEE软件工程汇刊 1 计算机科学课堂讲稿 领域 27 计算机科学(68至XX) 1 总体主题;集合(00-XX) 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 17出版物有被引用92中的次76文件 引用人▼ 年份▼ 关于抽象数据类型的层次结构。 Zbl 0513.68015号 马丁·威尔辛;彼得·佩珀;赫尔穆特·帕奇;沃尔特·多什;曼弗雷德·布罗伊 16 1983 程序的规范和转换。软件开发的正式方法。 Zbl 0751.68036号 赫尔穆特·帕奇。 14 1990 抽象数据类型中的存在量词。 Zbl 0404.68026号 布罗伊,M。;多施,W。;H·帕奇。;胡椒,P。;Wirsing,M。 13 1979 用广谱语言编程:示例集。 Zbl 0469.68003号 F.L.鲍尔。;布罗伊,M。;多施,W。;R.格纳茨。;Krieg-Brückner,B。;劳特,A。;勒克曼,M。;T·马特兹纳。;莫勒,B。;H·帕奇。;胡椒,P。;萨梅尔森,K。;斯坦布吕根,R。;Wirsing,M。;Wössner,H。 11 1981 算法语言和程序开发。在collab。加H.Partsch和P.Pepper。Transl.公司。来自德国。 Zbl 0486.68007号 F.L.鲍尔。;H·沃斯纳。 11 1982 正式程序开发。IFIP TC2/WG 2.1最新报告。 Zbl 0825.00043号 8 1993 递归移除的一系列规则。 Zbl 0345.68011号 赫尔穆特·帕奇;彼得·佩珀 6 1976 转换规则的系统性。 Zbl 0399.68009号 F.L.鲍尔。;布罗伊,M。;H·帕奇。;胡椒,P。;Wössner,H。 4 1979 通过转换和断言推理导出的快速模式匹配算法。 Zbl 0697.68025号 帕特施,H.A。;F.A.斯托姆。 4 1990 更改类型和对象结构的示例。 Zbl 0399.68030号 H·帕奇。;布罗伊,M。 4 1979 面向支持程序规范和程序开发的广谱语言。 Zbl 0409.68003号 F.L.鲍尔。;布罗伊,M。;R.格纳茨。;W.黑塞。;Krieg-Brückner,B。;H·帕奇。;胡椒,P。;Wössner,H。 三 1979 通过转换构建正式的程序——计算机辅助、直观引导的编程。 Zbl 0664.68017号 弗里德里希·路德维希·鲍尔;伯恩哈德·莫勒;赫尔穆特·帕奇;彼得·佩珀 三 1989 编程语言中的语义关系。 Zbl 0443.68005号 布罗伊,M。;H·帕奇。;胡椒,P。;Wirsing,M。 2 1980 Abstrakte Datentypen:Die algebraische Spezifikation von Rechenstrukturen。 Zbl 0488.68024号 胡椒,P。;布罗伊,M。;F.L.鲍尔。;H·帕奇。;多施,W。;Wirsing,M。 1 1982 CIP转换系统。 Zbl 0547.68012号 H·帕奇。 1 1984 特定问题领域中的转换程序开发。 Zbl 0601.68015号 H·帕奇。 1 1986 编程的转换方法。 兹比尔0405.68004 胡椒,P。;H·帕奇。;Wössner,H。;F.L.鲍尔。 1 1978 正式程序开发。IFIP TC2/WG 2.1最新报告。 Zbl 0825.00043号 8 1993 程序的规范和转换。软件开发的正式方法。 Zbl 0751.68036号 赫尔穆特·帕奇。 14 1990 通过转换和断言推理导出的快速模式匹配算法。 Zbl 0697.68025号 Partsch,H.A。;F.A.斯托姆。 4 1990 通过转换构建正式的程序——计算机辅助、直观引导的编程。 Zbl 0664.68017号 弗里德里希·路德维希·鲍尔;伯恩哈德·莫勒;赫尔穆特·帕奇;彼得·佩珀 三 1989 特定问题领域中的转换程序开发。 Zbl 0601.68015号 H·帕奇。 1 1986 CIP转换系统。 Zbl 0547.68012号 H·帕奇。 1 1984 抽象数据类型的层次结构。 Zbl 0513.68015号 马丁·威尔辛;彼得·佩珀;赫尔穆特·帕奇;沃尔特·多什;曼弗雷德·布罗伊 16 1983 算法语言和程序开发。在collab。加H.Partsch和P.Pepper。Transl.公司。来自德国。 Zbl 0486.68007号 F.L.鲍尔。;H·沃斯纳。 11 1982 Abstrakte Datentypen:Die algebraische Spezifikation von Rechenstrukturen。 Zbl 0488.68024号 胡椒,P。;布罗伊,M。;F.L.鲍尔。;H·帕奇。;多施,W。;Wirsing,M。 1 1982 用广谱语言编程:示例集。 Zbl 0469.68003号 F.L.鲍尔。;布罗伊,M。;多施,W。;R.格纳茨。;Krieg-Brückner,B。;劳特,A。;勒克曼,M。;T·马特兹纳。;莫勒,B。;H·帕奇。;胡椒,P。;萨梅尔森,K。;斯坦布吕根,R。;Wirsing,M。;Wössner,H。 11 1981 编程语言中的语义关系。 Zbl 0443.68005号 布罗伊,M。;H·帕奇。;胡椒,P。;Wirsing,M。 2 1980 抽象数据类型中的存在量词。 Zbl 0404.68026号 布罗伊,M。;多施,W。;H·帕奇。;胡椒,P。;Wirsing,M。 13 1979 转换规则的系统性。 Zbl 0399.68009号 F.L.鲍尔。;布罗伊,M。;H·帕奇。;胡椒,P。;Wössner,H。 4 1979 更改类型和对象结构的示例。 Zbl 0399.68030号 H·帕奇。;布罗伊,M。 4 1979 面向支持程序规范和程序开发的广谱语言。 Zbl 0409.68003号 F.L.鲍尔。;布罗伊,M。;R.格纳茨。;W.黑塞。;Krieg-Brückner,B。;H·帕奇。;胡椒,P。;Wössner,H。 三 1979 编程的转换方法。 兹比尔0405.68004 胡椒,P。;H·帕奇。;Wössner,H。;F.L.鲍尔。 1 1978 递归移除的一系列规则。 Zbl 0345.68011号 赫尔穆特·帕奇;彼得·佩珀 6 1976 所有引用的出版物 前5名被引用出版物 全部的 前5名被94位作者引用 8 曼弗雷德·布罗伊 8 马丁·威尔辛 4 罗尔夫·亨尼克 4 伯恩哈德·莫勒 4 安德烈·塔莱基 三 回来了,拉尔夫·约翰 三 唐纳德·桑内拉。 2 巴博萨、路易斯·索亚雷斯 2 Jan A.Bergstra。 2 沃尔特·多什 2 Ibragimov,F.N。 2 卡西莫夫,纳迪穆拉·哈比卜拉耶维奇 2 约瑟夫·莫里斯(Joseph M.Morris)。 2 何塞·努诺·奥利维拉 2 阿尔贝托·佩特罗西 2 唐·伦纳德·皮戈齐 2 约翰·V·塔克。 1 阿洛奇,Jean-Paul Simon 1 佩妮·安德森 1 雅克·J·阿萨克。 1 David A.Basin。 1 弗里德里希·路德维希·鲍尔 1 鲁道夫·伯哈默 1 米歇尔·比多瓦 1 Cañete-Valdeón,JoséM。 1 罗伯特·J·科尔文。 1 莎朗·柯蒂斯(Sharon A.Curtis)。 1 达达扎诺夫(Ruzmat Normatovich Dadazhanov) 1 洛科·德尼古拉 1 朱尔斯·德沙奈斯 1 丹尼尔·多尔蒂(Daniel J.Dougherty)。 1 弗朗索瓦连衣裙 1 克劳斯·德罗斯滕 1 汉斯·迪特·埃里奇 1 哈特穆特·埃里格 1 JoséLuiz Fiadeiro 1 财务,Jean-Pierre 1 乌尔里奇·弗劳斯 1 弗朗西斯科·加兰。 1 玛丽·克劳德·高德尔 1 吉尔根·吉斯尔 1 马丁·果戈拉 1 托马斯·格里茨纳。 1 克劳迪奥·古铁雷斯 1 沃尔特·古特曼 1 伊恩·海耶斯。 1 Teruo Hikita公司 1 赫尔穆特·尤根森 1 沃尔夫拉姆·卡尔 1 斯特凡·迈克尔·卡尔斯 1 赫萨姆·科什内维桑 1 赫伯特·A·克拉伦。 1 汉斯·约尔格·克鲁斯基 1 阿明·库内曼 1 拉尔夫·拉梅尔 1 Gary T.Leavens。 1 Leavens,灰色T。 1 托马斯·马丁·莱曼 1 乌多·沃尔特·利佩克 1 雅克·勒克斯 1 孙孟 1 Th.莫伊瑙。 1 穆申成 1 内佩?沃达,尼古拉?尼古拉埃维奇 1 R·M·努里耶夫。 1 费尔南多·奥雷贾斯 1 克劳德·佩尔 1 赫尔穆特·帕奇。 1 毛里齐奥·普罗埃蒂 1 A.奎尔。 1 Jean-Luc雷米 1 F.斯卡里奥尼。 1 斯特凡·谢克勒 1 尚伟佳 1 米查·谢里尔 1 道格拉斯·史密斯。 1 H.G.斯佩兰扎。 1 F.A.斯托姆。 1 弗兰克·斯托普 1 保罗·A·斯特罗珀。 1 安妮特·圣佩尔 1 费卢兹·切尔 1 Jerzy Tiuryn 1 拉尔夫·特里宁 1 马尔科姆·蒂雷尔 1 埃尔科·维瑟 1 Janis Voigtlander公司 1 Martin P.沃德。 1 伍德,德里克 1 侯赛因·泽丹 1 张,贝 1 张明华 1 张敏霞 1 郑宇军 全部的 前5名23篇连载文章中引用 21 理论计算机科学 11 信息学报 5 信息处理信件 4 逻辑与代数程序设计杂志 三 符号计算杂志 三 计算的形式方面 2 计算机与系统科学杂志 2 RAIRO公司。Informatique Théorique et Applications公司 2 数学科学杂志(纽约) 2 程序设计中的逻辑和代数方法杂志 1 计算机与数学及其应用 1 信息科学 1 苏联数学杂志 1 RAIRO,Informatique Théorique公司 1 控制论 1 信息与计算 1 国际计算机数学杂志 1 分布式计算 1 图表 1 函数编程杂志 1 高阶和符号计算 1 逻辑程序设计理论与实践 1 计算机语言、系统和结构 全部的 前5名在6个字段中引用 74 计算机科学(68至XX) 12 数理逻辑与基础(03-XX) 1 历史和传记(01-XX) 1 一般代数系统(08-XX) 1 范畴理论;同调代数(18-XX) 1 运筹学、数学规划(90-XX) 按年份列出的引文