login
·
register
·
help
·
blog
·
about
·
BibSonomy
::
BibTeX
::
tag
user
group
author
concept
BibTeX key
search:all
search:dblp
username:
password:
OpenID:
A blue social bookmark and publication sharing system.
Home
tags
authors
relations
groups
popular
entry of
dblp
:
spam
Proof rules for the correctness of quantum programs.
by:
Yuan
Feng
and Runyao
Duan
and Zheng-Feng
Ji
and Mingsheng
Ying
In:
Theor. Comput. Sci.
, Vol. 386 , Nr. 1-2 (2007) , p. 151-166.
Citation format (
all formats
):
plain
Harvard
DIN1505
simple HTML
Resources (URL, PDF, PS...)
URL:
http://dblp.uni-trier.de/db/journals/tcs/tcs386.html#FengDJY07
Description
dblp
BibTeX record
@article{journals/tcs/FengDJY07, author = {Yuan Feng and Runyao Duan and Zheng-Feng Ji and Mingsheng Ying}, interHash = {11ffa18753051c5a2235eaf22500ecd7}, intraHash = {f1e72bf1f7fc4d41b5bd391016f2febe}, journal = {Theor. Comput. Sci.}, number = {1-2}, pages = {151-166}, title = {Proof rules for the correctness of quantum programs.}, url = {http://dblp.uni-trier.de/db/journals/tcs/tcs386.html#FengDJY07}, volume = {386}, year = {2007}, ee = {http://dx.doi.org/10.1016/j.tcs.2007.06.011}, date = {2007-10-04} }
Endnote record
%0 Journal Article %A Yuan Feng %A Runyao Duan %A Zheng-Feng Ji %A Mingsheng Ying %D 2007 %J Theor. Comput. Sci. %K %N 1-2 %P 151-166 %T Proof rules for the correctness of quantum programs. %U http://dblp.uni-trier.de/db/journals/tcs/tcs386.html#FengDJY07 %V 386
tags
(
dblp
's tags highlighted)
dblp
users
dblp
BibTeX
groups
Resources (URL, PDF, PS...)