Author:
Tafliovich Anya,Hehner Eric C. R.
Publisher
Springer Berlin Heidelberg
Reference42 articles.
1. Knill, E.: Conventions for quantum pseudocode. Techn. Report LAUR-96-2724. Los Alamos National Laboratory (1996)
2. Hehner, E.: A Practical Theory of Programming. Springer, Heidelberg (1993), New edition available free at:
http://www.cs.utoronto.ca/~hehner/aPToP/
3. Lecture Notes in Computer Science;E.C.R. Hehner,2004
4. Ömer, B.: Quantum programming in QCL. Master’s thesis. TU Vienna (2000)
5. Bettelli, S., Calarco, T., Serafini, L.: Toward an architecture for quantum programming. European Physical J. D 25(2), 181–200 (2003)
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. UTP, Circus, and Isabelle;Theories of Programming and Formal Methods;2023
2. Algorithmics;IFIP Advances in Information and Communication Technology;2021
3. Bibliography;Foundations of Quantum Programming;2016
4. Introduction;Foundations of Quantum Programming;2016
5. Quantum programming: From theories to implementations;Chinese Science Bulletin;2012-06