Quantum weakest preconditions for reasoning about expected runtimes of quantum programs (Q6649432)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Quantum weakest preconditions for reasoning about expected runtimes of quantum programs |
scientific article; zbMATH DE number 7954819
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Quantum weakest preconditions for reasoning about expected runtimes of quantum programs |
scientific article; zbMATH DE number 7954819 |
Statements
Quantum weakest preconditions for reasoning about expected runtimes of quantum programs (English)
0 references
6 December 2024
0 references
quantum programming
0 references
expected runtime
0 references
physical observable
0 references
quantum random walk
0 references
quantum weakest precondition
0 references
termination
0 references
0 references
