DBLP:journals/igpl/HorrocksPS00 + redirect page
An Analysis of Empirical Testing for Modal Decision Procedures + Has identifier
| An Analysis of Empirical Testing for Modal Decision Procedures |
Has publishing details
8(3), 2000
Has title
An Analysis of Empirical Testing for Modal Decision Procedures
Has url
http://www.informatik.uni-trier.de/~ley/db/journals/igpl/igpl8.html#HorrocksPS00
Has where published
Logic Journal of the IGPL
Has year
2000
Has author
Ian Horrocks +, Peter F. Patel-Schneider +, Roberto Sebastiani +
Has identifier
An Analysis of Empirical Testing for Modal Decision Procedures +
Categories Journal Paper +
|
