%0 Conference Paper %1 conf/rr/KrisnadhiH12 %A Krisnadhi, Adila %A Hitzler, Pascal %B RR %D 2012 %E Krötzsch, Markus %E Straccia, Umberto %I Springer %K dblp %P 234-237 %T A Tableau Algorithm for Description Logics with Nominal Schema. %U http://dblp.uni-trier.de/db/conf/rr/rr2012.html#KrisnadhiH12 %V 7497 %@ 978-3-642-33202-9

@inproceedings{conf/rr/KrisnadhiH12, added-at = {2017-05-24T00:00:00.000+0200}, author = {Krisnadhi, Adila and Hitzler, Pascal}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/28aca03ffa125de43a234a866a9b76413/dblp}, booktitle = {RR}, crossref = {conf/rr/2012}, editor = {Krötzsch, Markus and Straccia, Umberto}, ee = {https://doi.org/10.1007/978-3-642-33203-6_22}, interhash = {9c0928c1cb4e405ca7e22364c72143a3}, intrahash = {8aca03ffa125de43a234a866a9b76413}, isbn = {978-3-642-33202-9}, keywords = {dblp}, pages = {234-237}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T18:35:32.000+0200}, title = {A Tableau Algorithm for Description Logics with Nominal Schema.}, url = {http://dblp.uni-trier.de/db/conf/rr/rr2012.html#KrisnadhiH12}, volume = 7497, year = 2012 }