English
Anmelden
Startseite
Suchen
Browsen
Veröffentlichen
FAQ
Filtern
Schlagworte
hypertableaux (1)
(entfernen)
Institut
Fachbereich 4 (1)
(entfernen)
1
Treffer
1
bis
1
100
10
20
50
100
The DLE-Hyper Tableau Calculus: a Decision Procedure for SHIQ
(2012)
Faßbender, Dennis
This thesis introduces the DLE-Hyper Tableau calculus, an extension of the E-Hyper Tableau calculus that is a decision procedure for the Description Logic SHIQ.
1
bis
1