共 50 条
- [21] A Logical Encoding of Timed π-Calculus LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION, LOPSTR 2013, 2014, 8901 : 164 - 182
- [26] The fidelity of local ordinal encoding ADVANCES IN NEURAL INFORMATION PROCESSING SYSTEMS 14, VOLS 1 AND 2, 2002, 14 : 1279 - 1286
- [27] Scheme for encoding single logical qubit information into three-photon decoherence-free states assisted by quantum dots Quantum Information Processing, 2019, 18