Jean Krivine, Jean-Bernard Stefani, "Reversible Computation"
2015 | pages: 291 | ISBN: 3319208594 | PDF | 7,9 mb
2015 | pages: 291 | ISBN: 3319208594 | PDF | 7,9 mb
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.
My Link