dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Helmuth Partsch (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFriedrich L. Bauer, Rudolf Berghammer, Manfred Broy, Walter Dosch, Franz Geiselbrechtinger, Rupert Gnatz, E. Hangel, Wolfgang Hesse, Bernd Krieg-Brückner, Alfred Laut, Thomas Matzner, Bernhard Möller, Friederike Nickl, Helmuth Partsch, Peter Pepper, Klaus Samelson, Martin Wirsing, Hans Wössner: The Munich Project CIP, Volume I: The Wide Spectrum Language CIP-L Springer 1985
10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Pepper, Manfred Broy, Friedrich L. Bauer, Helmuth Partsch, Walter Dosch, Martin Wirsing: Abstrakte Datentypen: Die algebraische Spezifikation von Rechenstrukturen. Informatik Spektrum 5(2): 107-119 (1982)
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFriedrich L. Bauer, Manfred Broy, Walter Dosch, Rupert Gnatz, Bernd Krieg-Brückner, Alfred Laut, M. Luckmann, Thomas Matzner, Bernhard Möller, Helmuth Partsch, Peter Pepper, Klaus Samelson, Ralf Steinbrüggen, Martin Wirsing, Hans Wössner: Programming in a Wide Spectrum Language: A Collection of Examples. Sci. Comput. Program. 1(1-2): 73-114 (1981)
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManfred Broy, Helmuth Partsch, Peter Pepper, Martin Wirsing: Semantic Relations in Programming Languages. IFIP Congress 1980: 101-106
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFriedrich L. Bauer, Manfred Broy, Helmuth Partsch, Peter Pepper: Programmtransformationen - Das aktuelle Schlagwort. Informatik Spektrum 3(3): 192-193 (1980)
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManfred Broy, Walter Dosch, Helmuth Partsch, Peter Pepper, Martin Wirsing: Existential Quantifiers in Abstract Data Types. ICALP 1979: 73-87
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFriedrich L. Bauer, Manfred Broy, Helmuth Partsch, Peter Pepper, Hans Wössner: Systematics of Transformation Rules. Program Construction 1978: 273-289
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHelmuth Partsch, Manfred Broy: Examples for Change of Types and Object Structures. Program Construction 1978: 421-463
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFriedrich L. Bauer, Manfred Broy, Rupert Gnatz, Wolfgang Hesse, Bernd Krieg-Brückner, Helmuth Partsch, Peter Pepper, Hans Wössner: Towards a Wide Spectrum Language to Support Program Specification and Program Development. Program Construction 1978: 543-552

Selection of 9 from 40 records - Helmuth Partsch has 38 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page