Reversible Computation
15th International Conference, RC 2023, Giessen, Germany, July 18–19, 2023, Proceedings
Buch in deiner Nähe kaufen
Beschreibung
This book constitutes the refereed proceedings of the 15th International Conference on Reversible Computation, RC 2023, held in Giessen, Germany, during July 18–19, 2023.
The 11 full papers and 3 short papers included in this book were carefully reviewed and selected from 19 submissions. They were organized in topical sections as follows: Foundations; Reversible Programming; Quantum Computing; and Quantum Circuits.
Autor*in
Martin Kutrib
Themen in »Reversible Computation«
circuit design computational complexity concurrency decision problems deep neural networks energy complexity exact synthesis finite automata formal semantics pebble game process algebra and calculi program transformation quantum circuits quantum computing reaction system