Author:
Chadha R.,Mateus P.,Sernadas A.
Publisher
Springer Berlin Heidelberg
Reference29 articles.
1. Abadi, M., Halpern, J.Y.: Decidability and expressiveness for first-order logics of probability. Information and Computation 112(1), 1–36 (1994)
2. Ambainis, A., Mosca, M., Tapp, A., de Wolf, R.: Private quantum channels. In: FOCS 2000: Proceedings of the 41st Annual Symposium on Foundations of Computer Science, p. 547. IEEE Computer Society Press, Los Alamitos (2000)
3. Basu, S., Pollack, R., Marie-Françoise, R.: Algorithms in Real Algebraic Geometry. Springer, Heidelberg (2003)
4. Chadha, R., Mateus, P., Sernadas, A.: Reasoning about quantum imperative programs. Electronic Notes in Theoretical Computer Science 158, 19–40 (2006) (Invited talk at the Twenty-Second Conference on the Mathematical Foundations of Programming Semantics)
5. Chadha, R., Mateus, P., Sernadas, A., Sernadas, C.: Extending classical logic for reasoning about quantum systems. CLC, Department of Mathematics, Instituto Superior Técnico (preprint, 2005) (Invited submission to the Handbook of Quantum Logic)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Quantum Hoare Logic with Classical Variables;ACM Transactions on Quantum Computing;2021-12-31
2. Reasoning About Imperative Quantum Programs;Electronic Notes in Theoretical Computer Science;2006-05
3. Quantum Computation and Information;A Portrait of State-of-the-Art Research at the Technical University of Lisbon