An Analysis of Empirical Testing for Modal Decision Procedures

From Tetherless World Wiki

Jump to: navigation, search

\begin{bibtex} @article{DBLP:journals/igpl/HorrocksPS00, title={An Analysis of Empirical Testing for Modal Decision Procedures}, year={2000}, volume={8}, journal={Logic Journal of the IGPL}, number={3}, ee={http://www3.oup.co.uk/igpl/Volume_08/Issue_03/#horrocks2}, url={http://www.informatik.uni-trier.de/~ley/db/journals/igpl/igpl8.html#HorrocksPS00}, author={Ian Horrocks and Peter F. Patel-Schneider and Roberto Sebastiani} }\end{bibtex}

Retrieved from "http://tw.rpi.edu/wiki/An_Analysis_of_Empirical_Testing_for_Modal_Decision_Procedures"
Personal tools