Description
Book Synopsis.- Tallulah, a Tool to Support the Axiomatic Approach to Causal Consistent Reversibility.
.- Independence and Causality in the Reversible Concurrent Setting.
.- Encoding Choice and Replication in rollπ.
.- Implementation of an Optimally Bounded Algorithm for Quantum State Preparation.
.- Universal Graph Theory Operations for Graph State Preparation.
.- On Exact Sizes of Minimal CNOT Circuits.
.- Two small quantum building-blocks suffice.
.- Approximate Optimisation of Quantum Circuits using the ZX-calculus with Phase Squashing.
.- RevMiGo: Reversible channel-based communication in Go language.
.- Towards a Characterization of Two-way Bijections in a Reversible Computational Model.
.- Ancilla-free Quantum Adder with Sublinear Depth.
.- Implementing Reversible Neural Networks..
