Generalised quantum weakest preconditions (Q993477)

From MaRDI portal





scientific article
Language Label Description Also known as
default for all languages
No label defined
    English
    Generalised quantum weakest preconditions
    scientific article

      Statements

      Generalised quantum weakest preconditions (English)
      0 references
      0 references
      0 references
      20 September 2010
      0 references
      completely positive transformations
      0 references
      0 references
      0 references
      0 references

      Identifiers

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