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] |