Semantic Techniques in Quantum Computation

Semantic Techniques in Quantum Computation

4.11 - 1251 ratings - Source

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


You Must CONTINUE and create a free account to access unlimited downloads & streaming