From description to hybrid logics, and back - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Book Sections Year : 2001

From description to hybrid logics, and back

Not file

Dates and versions

inria-00104377 , version 1 (06-10-2006)

Identifiers

  • HAL Id : inria-00104377 , version 1

Cite

Areces Carlos, Maarten de Rijke. From description to hybrid logics, and back. F. wolter, H. Wansing, M. de Rijke, and M. Zakharyaschev. Advances in Modal Logic, CSLI Pulbications, 2001. ⟨inria-00104377⟩
27 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More