Hybrid EL-Unification is NP-Complete
Research output: Contribution to conferences › Paper › Contributed › peer-review
Contributors
Details
| Original language | English |
|---|---|
| Pages | 29-40 |
| Number of pages | 12 |
| Publication status | Published - 2013 |
| Peer-reviewed | Yes |
Workshop
| Title | International Workshop on Description Logics 2013 |
|---|---|
| Abbreviated title | DL 2013 |
| Conference number | 26 |
| Duration | 23 - 26 July 2013 |
| Degree of recognition | International event |
| Location | Universität Ulm |
| City | Ulm |
| Country | Germany |
External IDs
| Scopus | 84892381959 |
|---|---|
| ORCID | /0000-0002-4049-221X/work/142247829 |