HyLoRes: A Hybrid Logic Prover Based on Direct Resolution - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2002

HyLoRes: A Hybrid Logic Prover Based on Direct Resolution

C. Areces
  • Function : Author
J. Heguiabehere
  • Function : Author
No file

Dates and versions

inria-00000324 , version 1 (23-09-2005)

Identifiers

  • HAL Id : inria-00000324 , version 1

Cite

C. Areces, J. Heguiabehere. HyLoRes: A Hybrid Logic Prover Based on Direct Resolution. Proceedings of Advances in Modal Logic 2002, 2002, Toulouse, France. ⟨inria-00000324⟩
4 View
0 Download

Share

Gmail Facebook X LinkedIn More