On the consistency problem for the INDU calculus - Laboratoire Interdisciplinaire des Sciences du Numérique Access content directly
Conference Papers Year : 2003
Not file

Dates and versions

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


  • HAL Id : hal-04003613 , version 1


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⟩
6 View
0 Download


Gmail Facebook Twitter LinkedIn More