Quantum Predicative Programming
From MaRDI portal
Publication:3618837
DOI10.1007/11783596_25zbMath1235.68061arXivquant-ph/0602156OpenAlexW1651438266MaRDI QIDQ3618837
Eric C. R. Hehner, Anya Tafliovich
Publication date: 2 April 2009
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/quant-ph/0602156
Quantum computation (81P68) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Quantum algorithms and complexity in the theory of computing (68Q12)
Related Items (2)
A probability perspective ⋮ Quantum fuzzy inference for knowledge base design in robust intelligent controllers
This page was built for publication: Quantum Predicative Programming
