Reversible Computation
7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings
Buch in deiner Nähe kaufen
Beschreibung
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.
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.
Autor*in
Jean Krivine
Themen in »Reversible Computation«
algorithms circuit complexity circuit optimization dynamic programming formal methods graph rewriting hardware description languages operational semantics probabilistic computation quantum circuits quantum computing quantum logic reversible circuits reversible computing reversible logic