Günter Hornung

Publication Activity (10 Years)

Years Active: 1980-1989
Publications (10 Years): 0

Publications

G. Normann, Günter Hornung, P. Fleischer, Thomas Mehner
Ein prozeßorientiertes Strukturierungsprinzip für große Software-Systeme. Software-Entwicklung (1989)
Feodora Hermann, Günter Hornung
Expertensysteme zur Software-Konfiguration. GI Jahrestagung (1985)
Feodora Herrmann, Günter Hornung
INTRA. Ein Expertensystem zur Software-Unterstützung bei Hewlett-Packard. Wissensbasierte Systeme (1985)
W. Benda, Günter Hornung, Peter Raulefs, F. Vollmann
Der META-Beweiser für die Zahlentheorie. GWAI (1982)
Günter Hornung, Anfried Knapp, Ulrike Knapp
A Parallel Connection Graph Proof Procedure. GWAI (1981)
Günter Hornung, Peter Raulefs
Initial and Terminal Algebra Semantics of Parameterized Abstract Data Type Specifications With Inequalities. CAAP (1981)
Günter Hornung, Peter Raulefs
Terminal Algebra Semantics and Retractions for Abstract Data Types. ICALP (1980)