Termination of nondeterministic quantum programs
- 期刊名称Acta Informatica
- 作者Li, Yangjia; Yu, Nengkun; Ying, Mingsheng
- 卷第51卷
- 期第1期
- 印刷ISSN0001-5903
- 电子ISSN1432-0525
- 文件大小284.77KB
- 发表时间2014-02-30
- DOI10.1007/s00236-013-0185-3
- 页码1-24
同期刊推荐
Cover 2: Editorial BoardComposites Part B: Engineering · 2013
Measuring polymer composite interfacial strengthSwentek, I.; Wood, J.T. · Composites Part B: Engineering · 2014
Cover 2: Editorial BoardComposites Part B: Engineering · 2014
Cover 2: Editorial BoardComposites Part B: Engineering · 2014
Cover 2: Editorial BoardComposites Part B: Engineering · 2013
Cover 2: Editorial BoardComposites Part B: Engineering · 2014
Cover 2: Editorial BoardComposites Part B: Engineering · 2013
Cover 2: Editorial BoardComposites Part B: Engineering · 2013