HyLoRes: Direct Resolution for Hybrid Logics

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

Download

[pdf] 

Abstract

System description of the HyLoRes prover.

BibTeX

@InProceedings{Areces2001h,
  author =       "C. Areces and J. Heguiabehere",
  booktitle =    "Proceedings of Methods for Modalities 2",
  title =        "HyLoRes: Direct Resolution for Hybrid Logics",
  year =         "2001",
  address =      "Amsterdam, The Netherlands",
  editor =       "C. Areces and M. de Rijke",
  abstract =     "System description of the HyLoRes prover.",
}