On the consistency problem for the INDU calculus - Laboratoire d'Informatique pour la Mécanique et les Sciences de l'Ingénieur Accéder directement au contenu
Communication Dans Un Congrès Année : 2003
Fichier non déposé

Dates et versions

hal-04003613 , version 1 (24-02-2023)

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

Partager

Gmail Facebook X LinkedIn More