Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 Gore2007
%A Goré, Rajeev
%A Nguyen, Linh Anh
%B Proc. TABLEAUX 07
%D 2007
%K
%P 133-148
%T EXPTIME Tableaux with Global Caching for Description Logics with Transitive Roles, Inverse Roles and Role Hierarchies
%V 4548
@inproceedings{Gore2007,
added-at = {2012-07-01T20:55:36.000+0200},
author = {Gor{\'e}, Rajeev and Nguyen, Linh Anh},
biburl = {https://www.bibsonomy.org/bibtex/26f859a083d2d3aab08ce6e5ab37f5567/ralenda},
booktitle = {Proc. TABLEAUX 07},
groups = {public},
interhash = {aa383e71dcc000623a6844967d2c2433},
intrahash = {6f859a083d2d3aab08ce6e5ab37f5567},
keywords = {},
pages = {133-148},
series = {LNAI},
timestamp = {2012-07-01T20:55:36.000+0200},
title = {EXPTIME Tableaux with Global Caching for Description Logics with Transitive Roles, Inverse Roles and Role Hierarchies},
username = {ralenda},
volume = 4548,
year = 2007
}