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 metadatas
https://hal.inria.fr/hal-01246644
Contributor : Jean-Bernard Stefani <>
Submitted on : Friday, December 18, 2015 - 8:05:34 PM
Last modification on : Tuesday, December 8, 2020 - 10:33:39 AM

Identifiers

Collections

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

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

Record views

358

 

Contact                    Legal Notice                    Personal Data