top

HyLoRes: A Hybrid Logic Prover Based on Direct Resolution

C. Areces and J. Heguiabehere. HyLoRes: A Hybrid Logic Prover Based on Direct Resolution. In Proceedings of Advances in Modal Logic 2002, Toulouse, France, 2002.

Download: [pdf] 

Abstract:

(unavailable)

BibTeX: (download)

@INPROCEEDINGS{areces02:_hylor,
  author = {C. Areces and J. Heguiabehere},
  title = {HyLoRes: A Hybrid Logic Prover Based on Direct Resolution},
  booktitle = {Proceedings of Advances in Modal Logic 2002},
  year = {2002},
  address = {Toulouse, France},
}

Generated by bib2html.pl (written by Patrick Riley ) on Mon Aug 10, 2009 14:52:33