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
2 PARSIFAL - Proof search and reasoning with logic specifications
LIX - Laboratoire d'informatique de l'École polytechnique [Palaiseau], Inria Saclay - Ile de France, Polytechnique - X, CNRS - Centre National de la Recherche Scientifique : UMR7161
Type de document :
Ouvrage (y compris édition critique et traduction)
ACM, pp.1-764, 2014, 978-1-4503-2886-9. 〈http://dl.acm.org/citation.cfm?id=2603088〉
Liste complète des métadonnées

https://hal.inria.fr/hal-01087515
Contributeur : Dale Miller <>
Soumis le : mercredi 26 novembre 2014 - 11:45:17
Dernière modification le : jeudi 11 janvier 2018 - 06:22:14

Identifiants

  • 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. 〈http://dl.acm.org/citation.cfm?id=2603088〉. 〈hal-01087515〉

Partager

Métriques

Consultations de la notice

240