文献
J-GLOBAL ID:202202288600276071
整理番号:22A0004626
互いに素な並列量子プログラムのための証明システム【JST・京大機械翻訳】
A proof system for disjoint parallel quantum programs
著者 (5件):
Ying Mingsheng
(State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, China)
,
Ying Mingsheng
(Department of Computer Science and Technology, Tsinghua University, China)
,
Zhou Li
(Max Planck Institute for Security and Privacy, Germany)
,
Li Yangjia
(State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, China)
,
Feng Yuan
(Centre for Quantum Software and Information, University of Technology Sydney, Australia)
資料名:
Theoretical Computer Science
(Theoretical Computer Science)
巻:
897
ページ:
164-184
発行年:
2022年
JST資料番号:
T0022A
ISSN:
0304-3975
CODEN:
TCSDIQ
資料種別:
逐次刊行物 (A)
記事区分:
原著論文
発行国:
オランダ (NLD)
言語:
英語 (EN)