Keys‚ Nominals‚ and Concrete Domains
Carsten Lutz‚ Carlos Areces‚ Ian Horrocks and Ulrike Sattler
Details
| Institution |
Lehrstuhl für Automatentheorie Institut für Theoretische Informatik‚ TU Dresden |
| Number |
02−04 |
| Year |
2002 |