Overview
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 12227)
Part of the book sub series: Programming and Software Engineering (LNPSE)
Included in the following conference series:
Conference proceedings info: RC 2020.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (18 papers)
-
Front Matter
-
Programming Languages
-
Front Matter
-
-
Tools and Applications
-
Front Matter
-
Other volumes
-
Reversible Computation
Keywords
- artificial intelligence
- computer hardware
- computer programming
- computer science
- computer systems
- distributed computer systems
- distributed systems
- embedded systems
- Field Programmable Gate Array (FPGA)
- formal logic
- graph theory
- linguistics
- logic gates
- mathematics
- parallel algorithms
- parallel architectures
- parallel processing systems
- software design
- software engineering
- theoretical computer science
About this book
The papers are organized in the following topical sections: theory and foundation; programming languages; circuit synthesis; evaluation of circuit synthesis; and applications and implementations.
Editors and Affiliations
Bibliographic Information
Book Title: Reversible Computation
Book Subtitle: 12th International Conference, RC 2020, Oslo, Norway, July 9-10, 2020, Proceedings
Editors: Ivan Lanese, Mariusz Rawski
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-030-52482-1
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer Nature Switzerland AG 2020
Softcover ISBN: 978-3-030-52481-4Published: 09 July 2020
eBook ISBN: 978-3-030-52482-1Published: 08 July 2020
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XII, 281
Number of Illustrations: 299 b/w illustrations, 56 illustrations in colour
Topics: Logic Design, Simulation and Modeling, Data Structures and Information Theory, Computer Systems Organization and Communication Networks