Gnter Hornung
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
1980–1985
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1985 | GI | Expertensysteme zur Software-Konfiguration. | Feodora Hermann, Gnter Hornung |
| 1985 | WI | INTRA. Ein Expertensystem zur Software-Untersttzung bei Hewlett-Packard. | Feodora Herrmann, Gnter Hornung |
| 1982 | KI | Der META-Beweiser fr die Zahlentheorie. | W. Benda, Gnter Hornung, Peter Raulefs, F. Vollmann |
| 1981 | KI | A Parallel Connection Graph Proof Procedure. | Gnter Hornung, Anfried Knapp, Ulrike Knapp |
| 1980 | ICALP | Terminal Algebra Semantics and Retractions for Abstract Data Types. | Gnter Hornung, Peter Raulefs |