Termination of nondeterministic quantum programs (Q2453979): Difference between revisions

@@ Property / OpenAlex ID @@
+W2016769804
@@ Property / OpenAlex ID: W2016769804 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.0891
@@ Property / arXiv ID: 1201.0891 / rank @@
+Normal rank
@@ Property / cites work @@
+Quantum loop programs
@@ Property / cites work: Quantum loop programs / rank @@
+Normal rank
@@ Property / cites work @@
+Quantum walks on graphs
@@ Property / cites work: Quantum walks on graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Simulating and Compiling Code for the Sequential Quantum Random Access Machine
+Normal rank
@@ Property / cites work @@
+LQP: the dynamic logic of quantum information
@@ Property / cites work: LQP: the dynamic logic of quantum information / rank @@
+Normal rank
@@ Property / cites work @@
+DYNAMIC QUANTUM LOGIC FOR QUANTUM PROGRAMS
@@ Property / cites work: DYNAMIC QUANTUM LOGIC FOR QUANTUM PROGRAMS / rank @@
+Normal rank
@@ Property / cites work @@
+Q2851315
@@ Property / cites work: Q2851315 / rank @@
+Normal rank
@@ Property / cites work @@
+Quantum weakest preconditions
@@ Property / cites work: Quantum weakest preconditions / rank @@
+Normal rank
@@ Property / cites work @@
+Proof rules for the correctness of quantum programs
+Normal rank
@@ Property / cites work @@
+Bisimulation for quantum processes
@@ Property / cites work: Bisimulation for quantum processes / rank @@
+Normal rank
@@ Property / cites work @@
+Quantum programming languages: survey and bibliography
+Normal rank
@@ Property / cites work @@
+Communicating quantum processes
@@ Property / cites work: Communicating quantum processes / rank @@
+Normal rank
@@ Property / cites work @@
+Termination of Probabilistic Concurrent Program
@@ Property / cites work: Termination of Probabilistic Concurrent Program / rank @@
+Normal rank
@@ Property / cites work @@
+Counterfactual computation
@@ Property / cites work: Counterfactual computation / rank @@
+Normal rank
@@ Property / cites work @@
+Q2706552
@@ Property / cites work: Q2706552 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3445918
@@ Property / cites work: Q3445918 / 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 @@
+Functional and Logic Programming
@@ Property / cites work: Functional and Logic Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q3560843
@@ Property / cites work: Q3560843 / rank @@
+Normal rank
@@ Property / cites work @@
+Compiling quantum programs
@@ Property / cites work: Compiling quantum programs / rank @@
+Normal rank