Hans-Georg Oberhauser

Publication Activity (10 Years)

Years Active: 1986-1988
Publications (10 Years): 0

Saarland University, Saarbrücken, Germany (PHD)

Education History

Saarland University, Saarbrücken, Germany

PHD

Publications

Martin Raber, Thomas Remmel, Erwin Hoffmann, Dieter Maurer, Fritz Müller, Hans-Georg Oberhauser, Reinhard Wilhelm
Complied Graph Reduction on a Processor Network. ARCS (1988)
F. Warren Burton, Dieter Maurer, Hans-Georg Oberhauser, Reinhard Wilhelm
A Space-Efficient Optimization of Call-by-Need. IEEE Trans. Software Eng. 13 (6) (1987)
Hans-Georg Oberhauser
On the correspondence of lambda style reduction and combinator style reduction. Graph Reduction (1986)