Reversible Computation 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Krivine, Jean (Editor), Stefani, Jean-Bernard (Editor)
• Format: Electronic eBook
• Language: English
• Published: Cham : Springer International Publishing : Imprint: Springer, 2015.
• Series: Lecture Notes in Computer Science, 9138
• Subjects: Computer science.; Logic design.; Software engineering.; Computers.; Algorithms.; Computer logic.; Quantum computers.; Computer Science.; Logic Design.; Logics and Meanings of Programs.; Quantum Computing.; Computation by Abstract Devices.; Algorithm Analysis and Problem Complexity.; Software Engineering.

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 Co...