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
Document type :
Directions of work or proceedings
Liste complète des métadonnées
https://hal.inria.fr/hal-01246644
Contributor : Jean-Bernard Stefani <>
Submitted on : Friday, December 18, 2015 - 8:05:34 PM
Last modification on : Friday, January 4, 2019 - 5:32:59 PM

Identifiers

Collections

UNIV-PARIS7 | INRIA | PPS | USPC | 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⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

177

Contact


archive-ouverte@inria.fr