%0 Conference Paper %1 DBLP:conf/dlog/HomolaKSV13 %A Homola, Martin %A Kluka, Jan %A Svátek, Vojtech %A Vacura, Miroslav %B Description Logics %D 2013 %E Eiter, Thomas %E Glimm, Birte %E Kazakov, Yevgeny %E Krötzsch, Markus %I CEUR-WS.org %K imported %P 221-233 %T Towards Typed Higher-Order Description Logics %V 1014

@inproceedings{DBLP:conf/dlog/HomolaKSV13, added-at = {2013-09-08T18:49:20.000+0200}, author = {Homola, Martin and Kluka, Jan and Sv{\'a}tek, Vojtech and Vacura, Miroslav}, bibsource = {DBLP, http://dblp.uni-trier.de}, biburl = {https://www.bibsonomy.org/bibtex/299f43002576da08ba139f30fda457884/svatekv}, booktitle = {Description Logics}, crossref = {DBLP:conf/dlog/2013}, editor = {Eiter, Thomas and Glimm, Birte and Kazakov, Yevgeny and Kr{\"o}tzsch, Markus}, ee = {http://ceur-ws.org/Vol-1014/paper_88.pdf}, interhash = {ac38cd594e7a24b9901d9d047203d227}, intrahash = {99f43002576da08ba139f30fda457884}, keywords = {imported}, pages = {221-233}, publisher = {CEUR-WS.org}, series = {CEUR Workshop Proceedings}, timestamp = {2013-09-08T18:49:20.000+0200}, title = {Towards Typed Higher-Order Description Logics}, volume = 1014, year = 2013 }