Editors:
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 11106)
Part of the book sub series: Programming and Software Engineering (LNPSE)
Conference series link(s): RC: International Conference on Reversible Computation
Conference proceedings info: RC 2018.
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (25 papers)
-
Front Matter
-
Reversible Concurrent Computation
-
Front Matter
-
-
Quantum Circuits
-
Front Matter
-
About this book
This book constitutes the refereed proceedings of the 10th International Conference on Reversible Computation, RC 2018, held in Leicester, UK, in September 2018.
The 13 full, 7 short, and one tutorial papers included in this volume together with four invited talks were carefully reviewed and selected from 28 submissions. The papers are organized in the following topical sections: reversible concurrent computation; quantum circuits; reversible programming languages; and applications.
Keywords
- Artificial intelligence
- Causal Reversibility
- Circuit Design
- Computer programming
- Energy Efficiency
- Hardware
- Logic Synthesis
- Physical Reversibility
- Problem solving
- Programming languages
- Quantum Circuits
- Quantum Computing
- Reversible Arithmetic
- Reversible Cellular Automata
- Reversible Computing
- Reversible Process Algebra
- Reversible Programming Languages
- Semantics
- Software engineering
- Wireless telecommunications systems
Editors and Affiliations
-
University of Turku, Turku, Finland
Jarkko Kari
-
University of Leicester, Leicester, United Kingdom
Irek Ulidowski
Bibliographic Information
Book Title: Reversible Computation
Book Subtitle: 10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings
Editors: Jarkko Kari, Irek Ulidowski
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-319-99498-7
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer Nature Switzerland AG 2018
Softcover ISBN: 978-3-319-99497-0Published: 22 August 2018
eBook ISBN: 978-3-319-99498-7Published: 30 August 2018
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XIII, 353
Number of Illustrations: 132 b/w illustrations
Topics: Logic Design, Artificial Intelligence, Programming Languages, Compilers, Interpreters, Computer Communication Networks, Software Engineering