%0 Journal Article %1 journals/corr/abs-2005-11023 %A Shi, Wenjun %A Cao, Qinxiang %A Deng, Yuxin %A Jiang, Hanru %A Feng, Yuan %D 2020 %J CoRR %K dblp %T Symbolic Reasoning about Quantum Circuits in Coq. %U http://dblp.uni-trier.de/db/journals/corr/corr2005.html#abs-2005-11023 %V abs/2005.11023

@article{journals/corr/abs-2005-11023, added-at = {2020-05-28T00:00:00.000+0200}, author = {Shi, Wenjun and Cao, Qinxiang and Deng, Yuxin and Jiang, Hanru and Feng, Yuan}, biburl = {https://www.bibsonomy.org/bibtex/2074b2930f5bad7558f24c39fe1c2bd1c/dblp}, ee = {https://arxiv.org/abs/2005.11023}, interhash = {a7bf98e453f6e138d81d121b30e6b75b}, intrahash = {074b2930f5bad7558f24c39fe1c2bd1c}, journal = {CoRR}, keywords = {dblp}, timestamp = {2020-05-29T11:39:17.000+0200}, title = {Symbolic Reasoning about Quantum Circuits in Coq.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr2005.html#abs-2005-11023}, volume = {abs/2005.11023}, year = 2020 }