Searching for "HyLoRes 1.0 Direct Resolution for Hybrid Logics." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

1 documents found, showing 1 through 1.

HyLoRes 1.0: Direct Resolution for Hybrid Logics Carlos Areces and Juan Heguiabehere
by Language And Inference, Carlos Areces, Juan Heguiabehere — Automated Deduction – CADE-18, volume 2392 of LNCS
…HyLoRes 1.0: Direct Resolution for Hybrid Logics Carlos Areces and Juan Heguiabehere Language…
Add To MetaCart

Showing 1 through 1.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB