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)

Thomas Henzinger 1 Dale Miller 2, 3 
1 IST Austria - Institute of Science and Technology [Austria]
2 PARSIFAL - Proof search and reasoning with logic specifications
LIX - Laboratoire d'informatique de l'École polytechnique [Palaiseau], Inria Saclay - Ile de France
3 LIX - Laboratoire d'informatique de l'École polytechnique [Palaiseau]
keyword : Computational logic
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

X | CNRS | INRIA | LIX | X-LIX | X-DEP-INFO | INRIA2

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⟩

Export

BibTeX TEI DC DCterms EndNote Datacite

Share

Metrics

Record views

132

 

Contact                    Legal Notice                    Personal Data