From description to hybrid logics, and back - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Chapitre D'ouvrage Année : 2001

From description to hybrid logics, and back

Fichier non déposé

Dates et versions

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

Identifiants

  • HAL Id : inria-00104377 , version 1

Citer

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 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More