Reversible Computation
11th International Conference, RC 2019, Lausanne, Switzerland, June 24–25, 2019, Proceedings
Buch in deiner Nähe kaufen
Beschreibung
This book constitutes the refereed proceedings of the 11th International Conference on Reversible Computation, RC 2019, held in Lausanne, Switzerland, in June 2019.
The 12 full papers and two short papers included in this volume were carefully reviewed and selected from 22 submissions. One invited talk is also included. The papers are organized in the following topical sections: theory and foundation; programming languages; circuit synthesis; evaluation of circuit synthesis; and applications and implementations.
Autor*in
Michael Kirkedal Thomsen
Themen in »Reversible Computation«
artificial intelligence linear logic logic synthesis programming languages quantum circuit quantum computation quantum computers reversible circuits reversible computation semantics type theory wireless telecommunication systems