| |
| 1985 | ||
|---|---|---|
| 3 | Norbert Heck, Jürgen Avenhaus: On Logic Programs with Data-Driven Computations. European Conference on Computer Algebra (2) 1985: 433-443 | |
| 1984 | ||
| 2 | Norbert Heck, Jürgen Avenhaus: Automatic Implementation of Abstract Data Types Specified by the Logic Programming Language. FGCS 1984: 210-219 | |
| 1980 | ||
| 1 | Georg Winterstein, Norbert Heck, Peter Trum: Prädikatenlogik als Basis für eine Spezifikationssprache. Software Engineering 1980: 312-313 | |
| 1 | Jürgen Avenhaus | [2] [3] |
| 2 | Peter Trum | [1] |
| 3 | Georg Winterstein | [1] |