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

On the consistency problem for the INDU calculus

Domains

Logic in Computer Science [cs.LO]

Françoise Grélaud  : Connect in order to contact the contributor

https://hal.science/hal-04003613

Submitted on : Friday, February 24, 2023-11:31:37 AM

Last modification on : Monday, April 17, 2023-6:32:11 PM

Not file

Dates and versions

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

Identifiers

  • HAL Id : hal-04003613 , version 1

Cite

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⟩

Export

BibTeX TEI Dublin Core DC Terms EndNote Datacite

Collections

UNIV-ARTOIS UNIV-TLSE2 CNRS LIMSI UT1-CAPITOLE UNIV-PARIS-SACLAY SORBONNE-UNIVERSITE IRIT IRIT-LILAC LISN IRIT-IA IRIT-CNRS TOULOUSE-INP UNIV-UT3 UT3-TOULOUSEINP
6 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More