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

Michael Kirkedal Thomsen, Robin Kaarsgaard, Mathias Soeken

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Fingerprint

Dive into the research topics of 'Ricercar: A Language for Describing and Rewriting Reversible Circuits with Ancillae and Its Permutation Semantics'. Together they form a unique fingerprint.

Engineering & Materials Science