HyLoRes 1.0: Direct Resolution for Hybrid Logics

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

Download

[pdf] 

Abstract

System description of the HyLoRes prover.

BibTeX

@InCollection{Areces2002,
  author =       "C. Areces and J. Heguiabehere",
  booktitle =    "Proceedings of CADE-18",
  title =        "HyLoRes 1.0: Direct Resolution for Hybrid Logics",
  year =         "2002",
  address =      "Copenhagen, Denmark",
  editor =       "A. Voronkov",
  ISBN =         "3-540-43931-5",
  pages =        "156--160",
  abstract =     "System description of the HyLoRes prover.",
}