Explores quantum computation from the perspective of the branch of theoretical computer science known as semantics.If we confine attention to stabilizer states and Clifford group operations, then we say that we are operating within the stabilizer formalism. Further details of ... Quantum circuit diagram l 1 Specification and Verification of Quantum Protocols 419.

Title | : | Semantic Techniques in Quantum Computation |

Author | : | Simon Gay, Ian Mackie |

Publisher | : | Cambridge University Press - 2010 |

Continue