From tableaux to automata for description logics (2003)
Cached
Download Links
- [lat.inf.tu-dresden.de]
- [www.csc.liv.ac.uk]
- [www.csc.liv.ac.uk]
- DBLP
Other Repositories/Bibliography
by
Franz Baader
,
Jan Hladik
,
Carsten Lutz
,
Frank Wolter
,
Liverpool L Zf
| Venue: | Fundamenta Informaticae |
| Citations: | 23 - 9 self |
BibTeX
@ARTICLE{Baader03fromtableaux,
author = {Franz Baader and Jan Hladik and Carsten Lutz and Frank Wolter and Liverpool L Zf},
title = {From tableaux to automata for description logics},
journal = {Fundamenta Informaticae},
year = {2003},
volume = {57},
pages = {2003}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
