Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Research
  3. Publications
  4. An Analysis of Empirical Testing for Modal Decision Procedures

An Analysis of Empirical Testing for Modal Decision Procedures

I. Horrocks‚ P. F. Patel−Schneider and R. Sebastiani

Journal
Logic Journal of the IGPL
Number
3
Pages
293–323
Volume
8
Year
2000

Links

Back to Top