scientific article; zbMATH DE number 5708040

MaRDI QIDQ3560841zbMATH OpenFDO

Authors Philippe Jorrand, Simon Perdrix

Publication date 14 May 2010

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Quantum computation (81P68) Semantics in the theory of computing (68Q55)

Recommendations

• Semantic abstraction and quantum computation
• scientific article; zbMATH DE number 1951198
• Abstract quantum computing machines and quantum computational logics
• Abstract interpretation, Hoare logic, and incorrectness logic for quantum programs
• Quantum circuit oracles for abstract machine computations
• scientific article; zbMATH DE number 5667324
• scientific article; zbMATH DE number 2134903
• Quantum Computation
• Quantum Computation

Cited in

(5)

• Quantum Entanglement Analysis Based on Abstract Interpretation
• Abstract interpretation, Hoare logic, and incorrectness logic for quantum programs
• Quantum Hoare type theory: extended abstract
• Analysis of quantum entanglement in quantum programs using stabilizer formalism
• Semantic abstraction and quantum computation

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3560841)