Sciweavers

CADE
2002
Springer

HyLoRes 1.0: Direct Resolution for Hybrid Logics

15 years 25 days ago
HyLoRes 1.0: Direct Resolution for Hybrid Logics
Carlos Areces, Juan Heguiabehere
Added 03 Dec 2009
Updated 03 Dec 2009
Type Conference
Year 2002
Where CADE
Authors Carlos Areces, Juan Heguiabehere
Comments (0)