Overview
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 9138)
Part of the book sub series: Programming and Software Engineering (LNPSE)
Included in the following conference series:
Conference proceedings info: RC 2015.
Buy print copy
About this book
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.
Similar content being viewed by others
Keywords
- 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
- reversible models of computation
- reversible programming languages
- stochastic processes
- term rewriting
- verification
Table of contents (20 papers)
-
Front Matter
-
Invited Paper
-
Front Matter
-
-
Reversible Machines
-
Front Matter
-
-
Design and Verification of Quantum Circuits
-
Front Matter
-
-
Design of Reversible Circuits
-
Front Matter
-
-
Circuit Synthesis
-
Front Matter
-
Other volumes
-
Reversible Computation
Editors and Affiliations
Bibliographic Information
Book Title: Reversible Computation
Book Subtitle: 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings
Editors: Jean Krivine, Jean-Bernard Stefani
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-319-20860-2
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer International Publishing Switzerland 2015
Softcover ISBN: 978-3-319-20859-6Published: 01 July 2015
eBook ISBN: 978-3-319-20860-2Published: 19 June 2015
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: VIII, 291
Number of Illustrations: 90 b/w illustrations
Topics: Logic Design, Logics and Meanings of Programs, Quantum Computing, Computation by Abstract Devices, Algorithm Analysis and Problem Complexity, Software Engineering