Dismatching and Local Disunification in EL

Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung

Beitragende

Details

OriginalspracheEnglisch
Titel26th International Conference on Rewriting Techniques and Applications (RTA 2015)
Seiten40-56
Seitenumfang17
PublikationsstatusVeröffentlicht - 2015
Peer-Review-StatusJa

Publikationsreihe

Reihe26th International Conference on Rewriting Techniques and Applications (RTA´15) ; Vol. 36
Band36
ISSN1868-8969

Externe IDs

Scopus 84959017457
ORCID /0000-0002-4049-221X/work/142247886

Schlagworte