Solving language equations and disequations with applications to disunification in description logics and monadic set constraints

Publikation: Beitrag zu Konferenzen › Paper › Beigetragen › Begutachtung

Beitragende

Details

OriginalspracheEnglisch
Seiten107-121
Seitenumfang15
PublikationsstatusVeröffentlicht - 2012
Peer-Review-StatusJa

Konferenz

TitelLogic for Programming, Artificial Intelligence, and Reasoning 2012
KurztitelLPAR-18
Veranstaltungsnummer18
Dauer11 - 15 März 2012
BekanntheitsgradInternationale Veranstaltung
StadtMerida
LandVenezuela

Externe IDs

Scopus 84858316724
ORCID /0000-0002-4049-221X/work/142247828

Schlagworte

Schlagwörter

  • formal languages, description logics