共 50 条
- [32] Universal quantum computation with qudits Science China Physics, Mechanics & Astronomy, 2014, 57 : 1712 - 1717
- [34] Using infeasibility to improve abstract ion-based heuristics ABSTRACTION, REFORMULATION, AND APPROXIMATION, PROCEEDINGS, 2007, 4612 : 413 - +
- [35] Small witnesses for abstract interpret at ion-based proofs PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2007, 4421 : 268 - +