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 International Conference on Reversible Computation. International Conference on Reversible Computation (RC-07), 7th, July 16-17, Grenoble, France, 2015.