Completeness of sum-over-paths for Toffoli-Hadamard and the dyadic fragments of quantum computation (Q6610641)

From MaRDI portal





scientific article; zbMATH DE number 7918715
Language Label Description Also known as
English
Completeness of sum-over-paths for Toffoli-Hadamard and the dyadic fragments of quantum computation
scientific article; zbMATH DE number 7918715

    Statements

    Completeness of sum-over-paths for Toffoli-Hadamard and the dyadic fragments of quantum computation (English)
    0 references
    0 references
    25 September 2024
    0 references
    quantum computation
    0 references
    verification
    0 references
    sum-over-paths
    0 references
    rewrite strategy
    0 references
    Toffoli-Hadamard
    0 references
    completeness
    0 references

    Identifiers