Unification in Modal and Description Logics

Publikation: Beitrag in Fachzeitschrift › Forschungsartikel › Beigetragen › Begutachtung

Beitragende

Details

OriginalspracheEnglisch
Seiten (von - bis)705–730
Seitenumfang26
FachzeitschriftLogic Journal of the IGPL
Jahrgang19
Ausgabenummer6
PublikationsstatusVeröffentlicht - 2011
Peer-Review-StatusJa

Externe IDs

Scopus 80054722443
ORCID /0000-0002-4049-221X/work/142247898

Schlagworte

DFG-Fachsystematik nach Fachkollegium

Fächergruppen, Lehr- und Forschungsbereiche, Fachgebiete nach Destatis

Schlagwörter

  • description logic, unification, modal logic