文献
J-GLOBAL ID:201102218323868005
整理番号:11A1427749
一般化量子の最弱前提条件
Generalised quantum weakest preconditions
著者 (2件):
GIELERAK Roman
(Univ. of Zielona Gora, Inst. of Control and Computation Engineering, Fac. of Electrical Engineering, Computer Sci. ...)
,
SAWERWAIN Marek
(Univ. of Zielona Gora, Inst. of Control and Computation Engineering, Fac. of Electrical Engineering, Computer Sci. ...)
資料名:
Quantum information Processing
(Quantum information Processing)
巻:
9
号:
4
ページ:
441-449
発行年:
2010年08月
JST資料番号:
A1088A
ISSN:
1570-0755
資料種別:
逐次刊行物 (A)
発行国:
アメリカ合衆国 (USA)
言語:
英語 (EN)