top

HyLoRes 1.0: Direct Resolution for Hybrid Logics

C. Areces and J. Heguiabehere. HyLoRes 1.0: Direct Resolution for Hybrid Logics. In Proceedings of CADE-18, pp. 156–160, Copenhagen, Denmark, July 2002.

Download: [pdf] 

Abstract:

(unavailable)

BibTeX: (download)

@INPROCEEDINGS{areces02:_hylores,
  author = {C. Areces and J. Heguiabehere},
  title = {HyLoRes 1.0: Direct Resolution for Hybrid Logics},
  booktitle = {Proceedings of CADE-18},
  year = {2002},
  editor = {A. Voronkov},
  pages = {156--160},
  address = {Copenhagen, Denmark},
  month = {July},
}

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