Hylores: Direct resolution for hybrid logics

Authors
  • C.E. Areces
  • J.M. Heguiabehere
Publication date 2002
Journal Lecture Notes in Computer Science
Pages (from-to) 156-160
Organisations
  • Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
Document type Article
Note Proceedings title: Proceedings of CADE-18
Publisher: Springer Verlag
Place of publication: Berlin
Editors: A. Voronkov
Permalink to this page
Back