Reasoning about faulty quantum programs (Q1031864): Difference between revisions

@@ Property / DOI @@
-.1007/s00236-009-0100-0
@@ Property / DOI: 10.1007/s00236-009-0100-0 / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+QML
@@ Property / describes a project that uses: QML / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+qGCL
@@ Property / describes a project that uses: qGCL / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+QPL
@@ Property / describes a project that uses: QPL / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2089508288
@@ Property / OpenAlex ID: W2089508288 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4542516
@@ Property / cites work: Q4542516 / rank @@
+Normal rank
@@ Property / cites work @@
+Communication via one- and two-particle operators on Einstein-Podolsky-Rosen states
+Normal rank
@@ Property / cites work @@
+Proposed Experiment to Test Local Hidden-Variable Theories
+Normal rank
@@ Property / cites work @@
+Rapid solution of problems by quantum computation
@@ Property / cites work: Rapid solution of problems by quantum computation / rank @@
+Normal rank
@@ Property / cites work @@
+Quantum cryptography based on Bell’s theorem
@@ Property / cites work: Quantum cryptography based on Bell’s theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Quantum programming languages: survey and bibliography
+Normal rank
@@ Property / cites work @@
+Probabilistic models for the guarded command language
+Normal rank
@@ Property / cites work @@
+Q4497834
@@ Property / cites work: Q4497834 / rank @@
+Normal rank
@@ Property / cites work @@
+Abstraction, Refinement and Proof for Probabilistic Systems
+Normal rank
@@ Property / cites work @@
+Q2706552
@@ Property / cites work: Q2706552 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5653193
@@ Property / cites work: Q5653193 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2721095
@@ Property / cites work: Q2721095 / rank @@
+Normal rank
@@ Property / cites work @@
+Towards a quantum programming language
@@ Property / cites work: Towards a quantum programming language / rank @@
+Normal rank
@@ Property / cites work @@
+Q5847989
@@ Property / cites work: Q5847989 / rank @@
+Normal rank
@@ Property / DOI @@
+.1007/S00236-009-0100-0
@@ Property / DOI: 10.1007/S00236-009-0100-0 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1031864