Service interruption on Monday 11 July from 12:30 to 13:00: all the sites of the CCSD (HAL, Epiciences, SciencesConf, AureHAL) will be inaccessible (network hardware connection).
Maximiliano Cristia, Gianfranco Rossi, Claudia Frydman. Adding partialfunctions to Constraint Logic Programming with sets. Theory and Practice of Logic Programming, Cambridge University Press (CUP), 2015, 15, pp.651-665. ⟨hal-01479631⟩