An automated deductive verification framework for circuit-building quantum programs (Q2233453): Difference between revisions

From MaRDI portal
Set OpenAlex properties.
Importer (talk | contribs)
Changed an Item
Property / arXiv ID
 
Property / arXiv ID: 2003.05841 / rank
 
Normal rank

Revision as of 02:43, 19 April 2024

scientific article
Language Label Description Also known as
English
An automated deductive verification framework for circuit-building quantum programs
scientific article

    Statements

    An automated deductive verification framework for circuit-building quantum programs (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    18 October 2021
    0 references
    deductive verification
    0 references
    quantum programming
    0 references
    quantum circuits
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references