Ralf Steinbrüggen

Publication Activity (10 Years)

Years Active: 1980-1991
Publications (10 Years): 0

Publications

Ralf Steinbrüggen
Programs Viewed as SKOLEM Functions. Methods of Programming (1991)
Helmuth Partsch, Ralf Steinbrüggen
Program Transformation Systems. ACM Comput. Surv. 15 (3) (1983)
Friedrich 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) (1981)
Ralf Steinbrüggen
The Use of Nested Scheme Parameters in the System CIP. GI Jahrestagung (1980)