Article Dans Une Revue
Journal of Logic and Computation
Année : 2001
Areces Carlos : Connectez-vous pour contacter le contributeur
https://inria.hal.science/inria-00000336
Soumis le : vendredi 23 septembre 2005-17:49:36
Dernière modification le : vendredi 23 septembre 2005-17:49:36
Dates et versions
Identifiants
- HAL Id : inria-00000336 , version 1
Citer
C. Areces, H. de Nivelle, M. de Rijke. Resolution in Modal, Description and Hybrid Logic. Journal of Logic and Computation, 2001, Journal of Logic and Computation, 11 (5), pp.717-736. ⟨inria-00000336⟩
3
Consultations
0
Téléchargements