1983 | ||
---|---|---|
3 | Ulrich L. Hupbach, Horst Reichel: On Behavioural Equivalence of Data Types. Elektronische Informationsverarbeitung und Kybernetik 19(6): 297-305 (1983) | |
1980 | ||
2 | Ulrich L. Hupbach: Abstract Implementation of Abstract Data Types. MFCS 1980: 291-304 | |
1978 | ||
1 | Ulrich L. Hupbach: Rekursive Funktionen in mehrsortigen Peano-Algebren. Elektronische Informationsverarbeitung und Kybernetik 14(10): 491-506 (1978) |
1 | Horst Reichel | [3] |