Article Dans Une Revue
Logic Journal of the IGPL
Année : 1999
Areces Carlos : Connectez-vous pour contacter le contributeur
https://inria.hal.science/inria-00000304
Soumis le : vendredi 23 septembre 2005-16:41:08
Dernière modification le : vendredi 23 septembre 2005-16:41:08
Dates et versions
Identifiants
- HAL Id : inria-00000304 , version 1
Citer
C. Areces, P. Blackburn, M. Marx. The Computational Complexity of Hybrid Temporal Logics. Logic Journal of the IGPL, 1999, Logic Journal of the IGPL, 8 (5), pp.653--679. ⟨inria-00000304⟩
10
Consultations
0
Téléchargements