Li, Yangjia
- Termination of Nondeterministic Quantum Programs
2012/01/04 by Li, Yangjia, Yu, Nengkun, Ying, Mingsheng · 1 citation
#F.3.1 #FOS: Computer and information sciences #FOS: Physical sciences #Logic in Computer Science (cs.LO) #Quantum Physics (quant-ph)
- Reasoning about Parallel Quantum Programs
2018/10/26 by Ying, Mingsheng, Zhou, Li, Li, Yangjia · 1 citation
#FOS: Computer and information sciences #FOS: Physical sciences #Logic in Computer Science (cs.LO) #Programming Languages (cs.PL) #Quantum Physics (quant-ph)
- (Un)decidable Problems about Reachability of Quantum Systems
2014/01/24 by Yangjia Li, Li, Yangjia, Mingsheng Ying +1 · 1 citation
Computer Science · #Computability, Logic, AI Algorithms #FOS: Computer and information sciences #FOS: Physical sciences #Logic in Computer Science (cs.LO) #Quantum Computing Algorithms and Architecture #Quantum Information and Cryptography #Quantum Physics (quant-ph)