Browsing byAuthorYing, MS
Showing results 1 to 7 of 7
Issue Date | Title | Author(s) |
---|---|---|
1987-01-01 | A counter-example of Gottwald's theorem | Ying, MS |
2001-01-01 | Fuzzy Topology Based on Residuated Lattice-Valued Logic | Ying, MS |
2004-01-01 | Process algebra approach to reasoning about concurrent actions | Feng, Y; Ying, MS |
2012-06-01 | Quantum programming: From theories to implementations | Ying, MS; Feng, Y; Duan, RY; Li, YJ; Yu, NK |
2006-09-01 | Some issues in quantum information theory | Duan, RY; Ji, ZF; Feng, Y; Ying, MS |
2018-11-01 | Super-activating quantum memory with entanglement | Guan, JI; Feng, Y; Ying, MS |
2018-01-01 | Verification of Quantum Programs | Feng, Y; Ying, MS |