Communication Dans Un Congrès
Année : 2003
Documentation IRIT : Connectez-vous pour contacter le contributeur
https://hal.science/hal-04003613
Soumis le : vendredi 24 février 2023-11:31:37
Dernière modification le : lundi 20 novembre 2023-11:44:23
Dates et versions
Identifiants
- HAL Id : hal-04003613 , version 1
Citer
Philippe Balbiani, Jean-François Condotta, Gérard Ligozat. On the consistency problem for the INDU calculus. 10th International Symposium on Temporal Representation and Reasoning - 4th International Conference on Temporal Logic (TIME-ICTL 2003), Jul 2003, Cairns, Queensland, Australia. pp.203--211. ⟨hal-04003613⟩
Collections
10
Consultations
0
Téléchargements