Goedel Description Logics: Decidability in the Absence of the Finitely-Valued Model Property

Publikation: Vorabdruck/Dokumentation/Bericht › Arbeitspapier

Beitragende

Details

OriginalspracheEnglisch
PublikationsstatusVeröffentlicht - 2013

Publikationsreihe

ReiheLTCS-Report
Nummer13-09
No renderer: customAssociatesEventsRenderPortal,dk.atira.pure.api.shared.model.researchoutput.WorkingPaper

Schlagworte