Günter Hornung

According to our database, Günter Hornung authored at least 7 papers between 1980 and 1989.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

1989

Ein prozeßorientiertes Strukturierungsprinzip für große Software-Systeme.

G. Normann, Günter Hornung, P. Fleischer, Thomas Mehner

Proceedings of the Software-Entwicklung: Konzepte, 1989

1985

INTRA. Ein Expertensystem zur Software-Unterstützung bei Hewlett-Packard.

Feodora Herrmann, Günter Hornung

Proceedings of the Wissensbasierte Systeme, 1985

Expertensysteme zur Software-Konfiguration.

Feodora Hermann, Günter Hornung

Proceedings of the GI/OCG/ÖGI-Jahrestagung 1985, 1985

1982

Der META-Beweiser für die Zahlentheorie.

W. Benda, Günter Hornung, Peter Raulefs, F. Vollmann

Proceedings of the GWAI-82, 6th German Workshop on Artificial Intelligence, Bad Honnef, Germany, September 27, 1982

1981

A Parallel Connection Graph Proof Procedure.

Günter Hornung, Anfried Knapp, Ulrike Knapp

Proceedings of the GWAI-81, 1981

Initial and Terminal Algebra Semantics of Parameterized Abstract Data Type Specifications With Inequalities.

Günter Hornung, Peter Raulefs

Proceedings of the CAAP '81, 1981

1980

Terminal Algebra Semantics and Retractions for Abstract Data Types.

Günter Hornung, Peter Raulefs

Proceedings of the Automata, 1980