Search the dblp DataBase
Günter Hornung: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
Publications of Author
- Günter Hornung, Peter Raulefs
Initial and Terminal Algebra Semantics of Parameterized Abstract Data Type Specifications With Inequalities. [Citation Graph (0, 0)][DBLP]
CAAP, 1981, pp:224-237 [Conf] - Feodora Hermann, Günter Hornung
Expertensysteme zur Software-Konfiguration. [Citation Graph (0, 0)][DBLP]
GI Jahrestagung, 1985, pp:806-814 [Conf] - Günter Hornung, Peter Raulefs
Terminal Algebra Semantics and Retractions for Abstract Data Types. [Citation Graph (0, 0)][DBLP]
ICALP, 1980, pp:310-323 [Conf] - W. Benda, Günter Hornung, Peter Raulefs, F. Vollmann
Der META-Beweiser für die Zahlentheorie. [Citation Graph (0, 0)][DBLP]
GWAI, 1982, pp:142-153 [Conf] - Günter Hornung, Anfried Knapp, Ulrike Knapp
A Parallel Connection Graph Proof Procedure. [Citation Graph (0, 0)][DBLP]
GWAI, 1981, pp:160-167 [Conf] - G. Normann, Günter Hornung, P. Fleischer, Thomas Mehner
Ein prozeßorientiertes Strukturierungsprinzip für große Software-Systeme. [Citation Graph (0, 0)][DBLP]
Software-Entwicklung, 1989, pp:133-143 [Conf] - Feodora Herrmann, Günter Hornung
INTRA. Ein Expertensystem zur Software-Unterstützung bei Hewlett-Packard. [Citation Graph (0, 0)][DBLP]
Wissensbasierte Systeme, 1985, pp:89-98 [Conf]
Search in 0.001secs, Finished in 0.002secs
| NOTICE1 |
|---|
| System may not be available sometimes or not working properly, since it is still in development with continuous upgrades |
| NOTICE2 |
|---|
| The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002