Semantic abstraction and quantum computation

DOI10.1016/J.ENTCS.2008.04.017MaRDI QIDQ2870205zbMATH OpenOpenAlexFDO

Authors 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

probabilistic abstract interpretationquantum computationquantum measurement

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 5708040
• An unsharp logic from quantum computation
• Computer Science Logic
• Towards a quantum calculus (work in progress, extended abstract)
• Holism, ambiguity and approximation in the logics of quantum computation: a survey

Cites work

• Advanced Linear Algebra
• Generalized inverses. Theory and applications.
• scientific article; zbMATH DE number 1579275 (Why is no real title available?)
• scientific article; zbMATH DE number 1808097 (Why is no real title available?)
• scientific article; zbMATH DE number 3668602 (Why is no real title available?)
• scientific article; zbMATH DE number 3725098 (Why is no real title available?)
• scientific article; zbMATH DE number 47995 (Why is no real title available?)
• scientific article; zbMATH DE number 1074568 (Why is no real title available?)
• scientific article; zbMATH DE number 1973222 (Why is no real title available?)
• scientific article; zbMATH DE number 3807678 (Why is no real title available?)
• scientific article; zbMATH DE number 3204690 (Why is no real title available?)
• scientific article; zbMATH DE number 3233216 (Why is no real title available?)
• scientific article; zbMATH DE number 3250482 (Why is no real title available?)
• Introduction to large truncated Toeplitz matrices
• Lectures on Quantum Theory
• Systematic design of program transformation frameworks by abstract interpretation

Cited in

(4)

• scientific article; zbMATH DE number 5667324 (Why is no real title available?)
• scientific article; zbMATH DE number 5708040 (Why is no real title available?)
• Quantum aspects of semantic analysis and symbolic artificial intelligence
• Compositional and holistic quantum computational semantics

This page was built for publication: Semantic abstraction and quantum computation

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