Natural Quantum Operational Semantics with Predicates (Q5324519): Difference between revisions

@@ Property / describes a project that uses @@
+LanQ
@@ Property / describes a project that uses: LanQ / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2137812635
@@ Property / OpenAlex ID: W2137812635 / rank @@
+Normal rank
@@ Property / cites work @@
+GSOS and finite labelled transition systems
@@ Property / cites work: GSOS and finite labelled transition systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q5649409
@@ Property / cites work: Q5649409 / rank @@
+Normal rank
@@ Property / cites work @@
+On the completeness of the inductive assertion method
+Normal rank
@@ Property / cites work @@
+Teleporting an unknown quantum state via dual classical and Einstein-Podolsky-Rosen channels
+Normal rank
@@ Property / cites work @@
+The logic of quantum mechanics
@@ Property / cites work: The logic of quantum mechanics / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation can't be traced
@@ Property / cites work: Bisimulation can't be traced / rank @@
+Normal rank
@@ Property / cites work @@
+Experimental Realization of Teleporting an Unknown Pure Quantum State via Dual Classical and Einstein-Podolsky-Rosen Channels
+Normal rank
@@ Property / cites work @@
+Experimental quantum teleportation
@@ Property / cites work: Experimental quantum teleportation / rank @@
+Normal rank
@@ Property / cites work @@
+Completely positive linear maps on complex matrices
+Normal rank
@@ Property / cites work @@
+A Partial Order on Classical and Quantum States
@@ Property / cites work: A Partial Order on Classical and Quantum States / rank @@
+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 @@
+Q4144755
@@ Property / cites work: Q4144755 / rank @@
+Normal rank
@@ Property / cites work @@
+Quantum weakest preconditions
@@ Property / cites work: Quantum weakest preconditions / rank @@
+Normal rank
@@ Property / cites work @@
+Generalised quantum weakest preconditions
@@ Property / cites work: Generalised quantum weakest preconditions / rank @@
+Normal rank
@@ Property / cites work @@
+Q3245484
@@ Property / cites work: Q3245484 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4228473
@@ Property / cites work: Q4228473 / rank @@
+Normal rank
@@ Property / cites work @@
+Quantum computing
@@ Property / cites work: Quantum computing / rank @@
+Normal rank
@@ Property / cites work @@
+An axiomatic basis for computer programming
@@ Property / cites work: An axiomatic basis for computer programming / rank @@
+Normal rank
@@ Property / cites work @@
+Über monotone Matrixfunktionen
@@ Property / cites work: Über monotone Matrixfunktionen / rank @@
+Normal rank
@@ Property / cites work @@
+Classical concepts in quantum programming
@@ Property / cites work: Classical concepts in quantum programming / rank @@
+Normal rank
@@ Property / cites work @@
+Quantum theory: concepts and methods
@@ Property / cites work: Quantum theory: concepts and methods / rank @@
+Normal rank
@@ Property / cites work @@
+A structural approach to operational semantics
@@ Property / cites work: A structural approach to operational semantics / 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 @@
+On the mathematical structure of quantum measurement theory
+Normal rank
@@ Property / cites work @@
+Progress in quantum algorithms
@@ Property / cites work: Progress in quantum algorithms / rank @@
+Normal rank