Dismatching and Local Disunification in EL

Research output: Contribution to book/conference proceedings/anthology/report › Conference contribution › Contributed › peer-review

Contributors

Details

Original languageEnglish
Title of host publication26th International Conference on Rewriting Techniques and Applications (RTA 2015)
Pages40-56
Number of pages17
Publication statusPublished - 2015
Peer-reviewedYes

Publication series

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

External IDs

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

Keywords