| 1989 |
|---|
| 7 | | G. Normann,
Günter Hornung,
P. Fleischer,
Thomas Mehner:
Ein prozeßorientiertes Strukturierungsprinzip für große Software-Systeme.
Software-Entwicklung 1989: 133-143 |
| 1985 |
|---|
| 6 | | Feodora Hermann,
Günter Hornung:
Expertensysteme zur Software-Konfiguration.
GI Jahrestagung 1985: 806-814 |
| 5 | | Feodora Herrmann,
Günter Hornung:
INTRA. Ein Expertensystem zur Software-Unterstützung bei Hewlett-Packard.
Wissensbasierte Systeme 1985: 89-98 |
| 1982 |
|---|
| 4 | | W. Benda,
Günter Hornung,
Peter Raulefs,
F. Vollmann:
Der META-Beweiser für die Zahlentheorie.
GWAI 1982: 142-153 |
| 1981 |
|---|
| 3 | | Günter Hornung,
Peter Raulefs:
Initial and Terminal Algebra Semantics of Parameterized Abstract Data Type Specifications With Inequalities.
CAAP 1981: 224-237 |
| 2 | | Günter Hornung,
Anfried Knapp,
Ulrike Knapp:
A Parallel Connection Graph Proof Procedure.
GWAI 1981: 160-167 |
| 1980 |
|---|
| 1 | | Günter Hornung,
Peter Raulefs:
Terminal Algebra Semantics and Retractions for Abstract Data Types.
ICALP 1980: 310-323 |
