Zugehörige Institution(en) am KIT | Fakultät für Informatik – Institut für Logik, Komplexität und Deduktionssysteme (ILKD) Institut für Programmstrukturen und Datenorganisation (IPD) |
Publikationstyp | Buchaufsatz |
Publikationsjahr | 1992 |
Sprache | Englisch |
Identifikator | KITopen-ID: 217592 |
Erscheinungsvermerk | In: 3rd International Workshop on the Deductive Approach to Information Systems and Databases, Barcelona, Spain 1992. S. 301-325. |