Inproceedings3020: Unterschied zwischen den Versionen
Aus International Center for Computational Logic
Marcel Lippmann (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Stephan |ErsterAutorNachname=Böhme |FurtherAuthors=Marcel Lippmann; }} {{Inproceedings |Referiert=1 |Title=Dec…“) |
Marcel Lippmann (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
||
Zeile 2: | Zeile 2: | ||
|ErsterAutorVorname=Stephan | |ErsterAutorVorname=Stephan | ||
|ErsterAutorNachname=Böhme | |ErsterAutorNachname=Böhme | ||
|FurtherAuthors=Marcel Lippmann; | |FurtherAuthors=Marcel Lippmann; | ||
}} | }} | ||
{{Inproceedings | {{Inproceedings | ||
Zeile 16: | Zeile 16: | ||
|Download=BoLi-DL15.pdf | |Download=BoLi-DL15.pdf | ||
|Forschungsgruppe=Automatentheorie | |Forschungsgruppe=Automatentheorie | ||
|BibTex=@inproceedings{ BoLi-DL15, | |||
address = {Athens, Greece}, | |||
author = {Stephan {B{\"o}hme} and Marcel {Lippmann} }, | |||
booktitle = {Proceedings of the 28th International Workshop on Description Logics ({DL-2015})}, | |||
note = {To appear.}, | |||
publisher = {CEUR-WS.org}, | |||
series = {CEUR Workshop Proceedings}, | |||
title = {Decidable Contextualized DLs with Rigid Roles}, | |||
year = {2015}, | |||
} | |||
}} | }} | ||
{{Forschungsgebiet Auswahl | {{Forschungsgebiet Auswahl |
Aktuelle Version vom 7. Mai 2015, 16:48 Uhr
Decidable Contextualized DLs with Rigid Roles
Stephan BöhmeStephan Böhme, Marcel LippmannMarcel Lippmann
Stephan Böhme, Marcel Lippmann
Decidable Contextualized DLs with Rigid Roles
Proceedings of the 28th International Workshop on Description Logics (DL-2015), CEUR Workshop Proceedings, to appear. CEUR-WS.org
Decidable Contextualized DLs with Rigid Roles
Proceedings of the 28th International Workshop on Description Logics (DL-2015), CEUR Workshop Proceedings, to appear. CEUR-WS.org
- Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory
@inproceedings{ BoLi-DL15,
address = {Athens, Greece},
author = {Stephan {B{\"o}hme} and Marcel {Lippmann}},
booktitle = {Proceedings of the 28th International Workshop on Description Logics ({DL-2015})},
note = {To appear.},
publisher = {CEUR-WS.org},
series = {CEUR Workshop Proceedings},
title = {Decidable Contextualized DLs with Rigid Roles},
year = {2015},
}