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

Research output: Preprint/Documentation/Report › Working paper

Contributors

Details

Original languageEnglish
Publication statusPublished - 2013

Publication series

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

Keywords