![](/img/cover-not-exists.png)
Automata can show PSpace results for description logics
Franz Baader, Jan Hladik, Rafael PeñalozaVolume:
206
Year:
2008
Language:
english
Pages:
12
DOI:
10.1016/j.ic.2008.03.006
File:
PDF, 291 KB
english, 2008