RC 2015: Grenoble, France

Invited Paper

Reversible Machines

Reversible Languages

Design and Verification of Quantum Circuits

Design of Reversible Circuits

Circuit Synthesis

Short Papers

a service of Schloss Dagstuhl - Leibniz Center for Informatics