Service interruption on Monday 11 July from 12:30 to 13:00: all the sites of the CCSD (HAL, EpiSciences, SciencesConf, AureHAL) will be inaccessible (network hardware connection).
Skip to Main content Skip to Navigation
Books

Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)

Document type :
Books
Complete list of metadata

https://hal.inria.fr/hal-01087515
Contributor : Dale Miller Connect in order to contact the contributor
Submitted on : Wednesday, November 26, 2014 - 11:45:17 AM
Last modification on : Thursday, January 20, 2022 - 5:30:47 PM

Identifiers

  • HAL Id : hal-01087515, version 1

Collections

Citation

Thomas Henzinger, Dale Miller. Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). ACM, pp.1-764, 2014, 978-1-4503-2886-9. ⟨hal-01087515⟩

Share

Metrics

Record views

132