Semantic Abstraction and Quantum Computation

DOI10.1016/j.entcs.2008.04.017zbMath1279.81038OpenAlexW2002647473MaRDI QIDQ2870205

Alessandra Di Pierro, Herbert Wiklicky

Publication date: 17 January 2014

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2008.04.017

zbMATH Keywords

quantum computationquantum measurementprobabilistic abstract interpretation

Mathematics Subject Classification ID

Quantum computation (81P68) Theory of programming languages (68N15) Semantics in the theory of computing (68Q55) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10)

Cites Work

• Introduction to large truncated Toeplitz matrices
• Generalized inverses. Theory and applications.
• Advanced Linear Algebra
• Lectures on Quantum Theory
• Systematic design of program transformation frameworks by abstract interpretation
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Semantic Abstraction and Quantum Computation