Reversible Computation: Proceedings 7th International Conference, RC 2015

Jean Krivine 1 Jean-Bernard Stefani 2
1 PPS - Preuves, Programmes et Systèmes
2 SPADES - Sound Programming of Adaptive Dependable Embedded Systems
Inria Grenoble - Rhône-Alpes
Type de document :
Direction d'ouvrage, Proceedings
Krivine, Jean; Stefani, Jean-Bernard. Reversible Computation, Jul 2015, Grenoble, France. 9138, Springer, 2015, Lecture Notes in Computer Science, 978-3-319-20859-6. <10.1007/978-3-319-20860-2>. <http://www.reversible-computation.org/2015/>
Liste complète des métadonnées
https://hal.inria.fr/hal-01246644
Contributeur : Jean-Bernard Stefani <>
Soumis le : vendredi 18 décembre 2015 - 20:05:34
Dernière modification le : mardi 11 octobre 2016 - 13:58:08

Identifiants

Collections

INRIA | PPS | USPC

Citation

Jean Krivine, Jean-Bernard Stefani. Reversible Computation: Proceedings 7th International Conference, RC 2015. Krivine, Jean; Stefani, Jean-Bernard. Reversible Computation, Jul 2015, Grenoble, France. 9138, Springer, 2015, Lecture Notes in Computer Science, 978-3-319-20859-6. <10.1007/978-3-319-20860-2>. <http://www.reversible-computation.org/2015/>. <hal-01246644>

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

101

Contact


archive-ouverte@inria.fr