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, LIG - Laboratoire d'Informatique de Grenoble
Type de document :
Direction d'ouvrage, Proceedings, Dossier
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 : jeudi 11 octobre 2018 - 08:48:04

Identifiants

Collections

INRIA | PPS | USPC | LIG_SRCPR | UGA | LIG-MFML-SPADES | LIG

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

140

Contact


archive-ouverte@inria.fr