| 1. |
Baader, Franz ; Buchheit, Martin ; Hollunder, Bernhard
(1993)
Cardinality restrictions on concepts
Kaiserslautern ; Saarbrücken : DFKI, 1993
Report (Bericht)
|
| 2. |
Buchheit, Martin ; Donini, Francesco M. ; Schaerf, Andrea
(1993)
Decidable reasoning in terminological knowledge representation systems
Kaiserslautern ; Saarbrücken : DFKI, 1993
Report (Bericht)
|
| 3. |
Buchheit, Martin ; Jeusfeld, Manfred A. ; Nutt, Werner ; Staudt, Martin
(1993)
Subsumption between queries to object-oriented databases
Kaiserslautern ; Saarbrücken : DFKI, 1993
Report (Bericht)
|
