Inproceedings4037: Unterschied zwischen den Versionen
Aus International Center for Computational Logic
Long Cheng (Diskussion | Beiträge) K (1 Version: Automatically imported publication data from DBLP) |
Markus Krötzsch (Diskussion | Beiträge) K (Textersetzung - „}} {{Publikation Author |Rank=2 |Author=“ durch „|FurtherAuthors=“) |
||
| Zeile 3: | Zeile 3: | ||
|ErsterAutorNachname=Nikitina | |ErsterAutorNachname=Nikitina | ||
|ErsterAutorVorname=Nadeschda | |ErsterAutorVorname=Nadeschda | ||
|FurtherAuthors=Sebastian Rudolph | |||
| | |||
}} | }} | ||
{{Inproceedings | {{Inproceedings | ||
Aktuelle Version vom 24. Oktober 2014, 17:51 Uhr
ExpExpExplosion: Uniform Interpolation in General EL Terminologies
Nadeschda NikitinaNadeschda Nikitina, Sebastian RudolphSebastian Rudolph
Nadeschda Nikitina, Sebastian Rudolph
ExpExpExplosion: Uniform Interpolation in General EL Terminologies
ECAI, 618-623, 2012
ExpExpExplosion: Uniform Interpolation in General EL Terminologies
ECAI, 618-623, 2012
- Forschungsgruppe:Research Group: Computational LogicComputational Logic
@inproceedings{NR2012,
author = {Nadeschda Nikitina and Sebastian Rudolph},
title = {ExpExpExplosion: Uniform Interpolation in General {EL}
Terminologies},
booktitle = {ECAI},
year = {2012},
pages = {618-623}
}
