×
作者ID: 胡椒度计“Pepper,Peter”最近发表的zbMATH文章
发布日期: 彼得·佩珀;胡椒,P。
编入索引的文档: 46出版物自1976年以来,包括5本书
1名编辑贡献·1进一步贡献
合著者: 24位合著者具有28联合出版物
296位联合作者

按年份列出的出版物

zbMATH Open中包含的引文

24出版物有被引用103中的次78文件 引用人 年份
抽象数据类型的层次结构。 Zbl 0513.68015号
马丁·威尔辛;彼得·佩珀;赫尔穆特·帕奇;沃尔特·多什;曼弗雷德·布罗伊
16
1983
关于编程语言的代数定义。 Zbl 0627.68009号
曼弗雷德·布罗伊;马丁·威尔辛;彼得·佩珀
13
1987
抽象数据类型中的存在量词。 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。;Steinbrüggen,R。;Wirsing,M。;Wössner,H。
11
1981
关于代数规范的最新趋势。 Zbl 0689.68013号
埃里格·H·。;胡椒,P。;F.奥雷贾斯。
9
1989
算法语言和程序开发。在collab。加H.Partsch和P.Pepper。Transl.公司。来自德国。 Zbl 0486.68007号
F.L.鲍尔。;H·沃斯纳。
9
1982
转换语义学研究。 Zbl 0408.68074号
胡椒,P。
8
1979
代数实现保持程序正确性。 Zbl 0597.68021号
曼弗雷德·布罗伊;Möller,伯恩哈德;彼得·佩珀;马丁·威尔辛
7
1986
并发垃圾收集器的形式化派生。 Zbl 1286.68090号
达斯科·巴甫洛维奇;彼得·佩珀;道格拉斯·史密斯。
7
2010
递归移除的一系列规则。 Zbl 0345.68011号
赫尔穆特·帕奇;彼得·佩珀
6
1976
转换规则的系统性。 兹伯利0396.8009
F.L.鲍尔。;布罗伊,M。;H·帕奇。;胡椒,P。;Wössner,H。
4
1979
关于程序之间的关系。 Zbl 0435.68017号
布罗伊,M。;胡椒,P。;Wirsing,M。
4
1980
通过转换构建正式的程序——计算机辅助、直观引导的编程。 Zbl 0664.68017号
鲍尔,弗里德里希·路德维希;Möller,伯恩哈德;赫尔穆特·帕奇;彼得·佩珀
3
1989
声明性编程和约束编程的集成。 兹比尔1112.68030
佩特拉·霍夫斯特德;彼得·佩珀
3
2007
面向支持程序规范和程序开发的广谱语言。 Zbl 0409.68003号
F.L.鲍尔。;布罗伊,M。;R.格纳茨。;W.黑塞。;Krieg-Brückner,B。;H·帕奇。;胡椒,P。;Wössner,H。
3
1979
作为正式活动的项目开发。 Zbl 0447.68005号
曼弗雷德·布罗伊;彼得·佩珀
3
1981
编程语言中的语义关系。 Zbl 0443.68005号
布罗伊,M。;H·帕奇。;胡椒,P。;Wirsing,M。
2
1980
不断发展的规范工程。 Zbl 1170.68010号
达斯科·巴甫洛维奇;彼得·佩珀;道格·史密斯
2
2008
Opal中的代数编程。 Zbl 1023.68629号
安德烈亚斯·费特;卡罗拉·格尔克;沃尔夫冈·格里斯坎普;彼得·佩珀
1
1993
程序转换的简单微积分(包括归纳法)。 Zbl 0624.68020号
彼得·佩珀
1
1987
编程的转换方法。 Zbl 0405.68004号
胡椒,P。;H·帕奇。;Wössner,H。;F.L.鲍尔。
1
1978
并发收集器的冲突。 Zbl 1274.68212号
达斯科·巴甫洛维奇;彼得·佩珀;道格·史密斯
1
2003
结合代数和算法推理:Schorr-Waite算法的一种方法。 Zbl 0483.68035号
曼弗雷德·布罗伊;佩珀,彼得
1
1982
Abstrakte Datentypen:Die algebraische Spezifikation von Rechenstrukturen。 Zbl 0488.68024号
胡椒,P。;布罗伊,M。;F.L.鲍尔。;H·帕奇。;多什·W·。;Wirsing,M。
1
1982
并发垃圾收集器的形式化派生。 Zbl 1286.68090号
巴甫洛维奇,杜斯科;彼得·佩珀;道格拉斯·史密斯。
7
2010
不断发展的规范工程。 Zbl 1170.68010号
达斯科·巴甫洛维奇;彼得·佩珀;道格·史密斯
2
2008
声明性编程和约束编程的集成。 Zbl 1112.68030号
佩特拉·霍夫斯特德;彼得·佩珀
3
2007
并发收集器的冲突。 Zbl 1274.68212号
达斯科·巴甫洛维奇;彼得·佩珀;道格·史密斯
1
2003
Opal中的代数编程。 Zbl 1023.68629号
安德烈亚斯·费特;卡罗拉·格尔克;沃尔夫冈·格里斯坎普;彼得·佩珀
1
1993
关于代数规范的最新趋势。 Zbl 0689.68013号
埃里格·H·。;胡椒,P。;F.奥雷贾斯。
9
1989
通过转换构建正式的程序——计算机辅助、直观引导的编程。 Zbl 0664.68017号
弗里德里希·路德维希·鲍尔;Möller,伯恩哈德;赫尔穆特·帕奇;彼得·佩珀
3
1989
关于编程语言的代数定义。 Zbl 0627.68009号
曼弗雷德·布罗伊;马丁·威尔辛;彼得·佩珀
13
1987
程序转换的简单微积分(包括归纳法)。 Zbl 0624.68020号
彼得·佩珀
1
1987
代数实现保持程序正确性。 Zbl 0597.68021号
曼弗雷德·布罗伊;Möller,伯恩哈德;佩珀,彼得;马丁·威尔辛
7
1986
抽象数据类型的层次结构。 Zbl 0513.68015号
马丁·威尔辛;彼得·佩珀;赫尔穆特·帕奇;沃尔特·多什;曼弗雷德·布罗伊
16
1983
算法语言和程序开发。在拼贴画中。加H.Partsch和P.Pepper。Transl.公司。来自德国。 Zbl 0486.68007号
F.L.鲍尔。;沃斯纳,H。
9
1982
结合代数和算法推理:Schorr-Waite算法的一种方法。 Zbl 0483.68035号
曼弗雷德·布罗伊;彼得·佩珀
1
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。;Steinbrüggen,R。;Wirsing,M。;Wössner,H。
11
1981
作为正式活动的项目开发。 Zbl 0447.68005号
曼弗雷德·布罗伊;彼得·佩珀
3
1981
关于程序之间的关系。 Zbl 0435.68017号
布罗伊,M。;胡椒,P。;Wirsing,M。
4
1980
编程语言中的语义关系。 Zbl 0443.68005号
布罗伊,M。;H·帕奇。;胡椒,P。;Wirsing,M。
2
1980
抽象数据类型中的存在量词。 Zbl 0404.68026号
布罗伊,M。;多什·W·。;H·帕奇。;胡椒,P。;Wirsing,M。
13
1979
转换语义学研究。 Zbl 0408.68074号
胡椒,P。
8
1979
转换规则的系统性。 Zbl 0399.68009号
F.L.鲍尔。;布罗伊,M。;H·帕奇。;胡椒,P。;Wössner,H。
4
1979
面向支持程序规范和程序开发的广谱语言。 Zbl 0409.68003号
F.L.鲍尔。;布罗伊,M。;R.格纳茨。;W.黑塞。;Krieg-Brückner,B。;H·帕奇。;胡椒,P。;Wössner,H。
3
1979
编程的转换方法。 Zbl 0405.68004号
胡椒,P。;H·帕奇。;Wössner,H。;F.L.鲍尔。
1
1978
递归移除的一系列规则。 Zbl 0345.68011号
赫尔穆特·帕奇;彼得·佩珀
6
1976
全部的 前5名

95位作者引用

7 曼弗雷德·布罗伊
7 马丁·威尔辛
6 罗尔夫·亨尼克
5 何塞·梅塞盖尔·瓜伊塔
4 格里高·罗什乌
4 安德烈·塔莱基
3 回来了,拉尔夫·约翰
3 费尔南多·Sáenz-Pérez
3 唐纳德·桑内拉。
2 奥曼·波霍拉,约翰内斯
2 Jan A.Bergstra。
2 拉斐尔·德尔瓦多·维塞达
2 沃尔特·多什
2 哈特穆特·埃里格
2 索尼娅·埃斯特韦兹·马汀
2 安东尼奥·J·费尔南德斯。
2 Hortalá-González,特蕾莎
2 伊布拉基莫夫,F.N。
2 卡西莫夫纳迪穆拉·卡比布列维奇
2 Möller,伯恩哈德
2 玛格努斯·奥·米林。
2 费尔南多·奥雷贾斯
2 巴甫洛维奇,杜什科
2 唐·伦纳德·皮戈齐
2 马里奥·罗德里格斯-阿塔莱霍
2 亚当·桑德伯格·爱立信
2 道格拉斯·史密斯。
2 卡罗琳·塔尔科特。
2 约翰·V·塔克。
1 卡马尔·阿布尔·霍恩
1 阿洛奇,Jean-Paul Simon
1 雅克·J·阿萨克。
1 弗里德里希·路德维希·鲍尔
1 米歇尔·比多瓦
1 大卫·卡切拉
1 达达扎诺夫,鲁兹马特·诺玛托维奇
1 洛科·德尼古拉
1 德曼德,德尔芬
1 纳鸿·德肖维茨
1 弗朗索瓦连衣裙
1 克劳斯·德罗斯滕
1 汉斯·迪特·埃里奇
1 贝特弗里德·福泽
1 JoséLuiz Fiadeiro
1 财务,Jean-Pierre
1 乌尔里希夫人
1 玛丽·克劳德·高德尔
1 马丁·果戈拉
1 Teruo Hikita公司
1 C.A.R.Tony Hoare
1 苏雷什·贾甘纳森
1 克利夫·琼斯。
1 赫尔穆特·尤根森
1 沃尔夫拉姆·卡尔
1 斯特凡·迈克尔·卡尔斯
1 赫萨姆·科什内维桑
1 赫伯特·克拉伦。
1 德克斯特·C·科赞。
1 汉斯·约尔格·克鲁斯基
1 Gary T.Leavens。
1 Leavens,Gray T。
1 乌多·沃尔特·利佩克
1 萨尔瓦多卢卡斯
1 伯恩德·马赫
1 Th.莫伊瑙。
1 尤金·迈尔斯(Eugene W.Myers)。
1 玛丽莎·纳瓦罗
1 内佩?沃达,尼古拉?尼古拉埃维奇
1 苏珊娜·尼娃
1 R·M·努里耶夫。
1 克劳德·佩尔
1 特姆拉·巴甫洛维奇
1 古斯塔沃·佩特里
1 阿尔贝托·佩特罗西
1 大卫·皮哈迪
1 A.奎尔。
1 Jean-Luc雷米
1 詹姆·桑切斯·埃尔南德斯
1 F.斯卡里奥尼。
1 ☑特拉安·弗洛林(Traian Florin)
1 米查·谢里尔
1 H.G.斯佩兰扎。
1 乔治·斯特鲁斯
1 安妮特·圣佩尔
1 Jerzy Tiuryn
1 拉尔夫·特里宁
1 范·斯塔登(Stephan van Staden)
1 维泰克,简
1 Martin P.沃德。
1 伍德,德里克
1 尼桑萨拉·亚塔帕纳奇
1 扬尼克·扎科夫斯基
1 侯赛因·泽丹
1 张明华
1 朱慧彪

按年份列出的引文