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) - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Books Year : 2014

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)

Keywords

No file

Dates and versions

hal-01087515 , version 1 (26-11-2014)

Identifiers

  • HAL Id : hal-01087515 , version 1

Cite

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

Share

Gmail Facebook Twitter LinkedIn More