Publikation

Ricercar: A Language for Describing and Rewriting Reversible Circuits with Ancillae and its Permutation Semantics

Michael Kirkedal Thomsen, Mathias Soeken, Robin Kaarsgaard

In: 7th Conference on Reversible Computation. Conference on Reversible Computation (RC-07) 7th July 16-17 Grenoble France 2015.

Deutsches Forschungszentrum für Künstliche Intelligenz
German Research Center for Artificial Intelligence