Skip to Main content Skip to Navigation
Directions of work or proceedings

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
Complete list of metadata
https://hal.inria.fr/hal-01246644
Contributor : Jean-Bernard Stefani Connect in order to contact the contributor
Submitted on : Friday, December 18, 2015 - 8:05:34 PM
Last modification on : Wednesday, October 27, 2021 - 2:37:15 PM

Identifiers

Collections

CNRS | UNIV-PARIS7 | INRIA | PPS | LIG-MFML-SPADES | LIG | UNIV-PARIS | UGA | ANR | LIG_SIDCH

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⟩. ⟨hal-01246644⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Les métriques sont temporairement indisponibles

 

Contact                    Legal Notice                    Personal Data