scientific article; zbMATH DE number 5708040

zbMATH Open1209.68251MaRDI QIDQ3560841FDOQ3560841

Authors: Philippe Jorrand, Simon Perdrix 

Publication date: 14 May 2010

Title of this publication is not available (Why is that?)

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

Mathematics Subject Classification ID

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

Cited In (5)

• Abstract interpretation, Hoare logic, and incorrectness logic for quantum programs
• Quantum Entanglement Analysis Based on Abstract Interpretation
• 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)