Overview
This book constitutes the refereed proceedings of the 7th International Conference on Reversible Computation, RC 2015, held in Grenoble, France in July 2015. The 19 papers presented together with 1 invited talk were carefully reviewed and selected from 30 submissions. The Conference on Reversible Computation particularly includes the following topics: reversible machines, reversible languages, design and verification of quantum circuits, design of reversible circuits and circuit synthesis.
- | Author: Jean Krivine
- | Publisher: Springer
- | Publication Date: Jul 01, 2015
- | Number of Pages: 291 pages
- | Binding: Paperback or Softback
- | ISBN-10: 3319208594
- | ISBN-13: 9783319208596
