HyLoRes: Direct Resolution for Hybrid Logics

Areces, C. and Heguiabehere, J.. HyLoRes: Direct Resolution for Hybrid Logics. In Proceedings of Methods for Modalities 2, Amsterdam, The Netherlands, November 2001.

Download: [pdf] 

Abstract:

(unavailable)

BibTeX: (download)

@INPROCEEDINGS{arec:hylo01,
  author = {Areces, C. and Heguiabehere, J.},
  title = {HyLoRes: Direct Resolution for Hybrid Logics},
  booktitle = {Proceedings of Methods for Modalities 2},
  year = {2001},
  editor = {Areces, C. and de Rijke, M.},
  address = {Amsterdam, The Netherlands},
  month = {November},
}

Generated by bib2html.pl (written by Patrick Riley) on Sun Oct 02, 2016 17:05:49