DYNAMIC QUANTUM LOGIC FOR QUANTUM PROGRAMS (Q4674239)

From MaRDI portal





scientific article; zbMATH DE number 2166940
Language Label Description Also known as
default for all languages
No label defined
    English
    DYNAMIC QUANTUM LOGIC FOR QUANTUM PROGRAMS
    scientific article; zbMATH DE number 2166940

      Statements

      DYNAMIC QUANTUM LOGIC FOR QUANTUM PROGRAMS (English)
      0 references
      0 references
      0 references
      9 May 2005
      0 references
      Quantum logic
      0 references
      quantum programs analysis
      0 references
      non-standard models of quantum computation
      0 references

      Identifiers