HyLoRes: A Hybrid Logic Prover Based on Direct Resolution

Authors
  • C.E. Areces
  • J.M. Heguiabehere
Publication date 2002
Series Technical Reports, PP-2002-15
Number of pages 12
Publisher Amsterdam: Institute for Logic, Language and Computation
Organisations
  • Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
Document type Working paper
Permalink to this page
Back