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

From MaRDI portal
scientific article
Language Label Description Also known as
English
Ricercar: A Language for Describing and Rewriting Reversible Circuits with Ancillae and Its Permutation Semantics
scientific article

    Statements

    Ricercar: A Language for Describing and Rewriting Reversible Circuits with Ancillae and Its Permutation Semantics (English)
    0 references
    0 references
    0 references
    30 September 2016
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    reversible logic
    0 references
    term rewriting
    0 references
    ancillae
    0 references
    circuit equivalence
    0 references
    permutation
    0 references
    0 references