Author:
Ying Mingsheng,Yu Nengkun,Feng Yuan,Duan Runyao
Reference37 articles.
1. T. Altenkirch, J. Grattage, A functional quantum programming language, in: Proceedings of the 20th Annual IEEE Symposium on Logic in Computer Science, LICS, 2005, pp. 249–258.
2. Analysis of recursive state machines;Alur;ACM Transactions on Programming Languages and Systems,2005
3. A. Ambainis, E. Bach, A. Nayak, A. Vishwanath, J. Watrous, One-dimensional quantum walks, in: Proc. of the 33rd ACM Symposium on Theory of Computing, STOC, 2001, pp. 37–49.
4. LQP: the dynamic logic of quantum information;Baltag;Mathematical Structures in Computer Science,2006
5. Quantum computation tree logic — model checking and complete calculus;Baltazar;International Journal of Quantum Information,2008
Cited by
40 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献