%0 Journal Article %1 journals/corr/abs-1810-00375 %A Häner, Thomas %A Hoefler, Torsten %A Troyer, Matthias %D 2018 %J CoRR %K dblp %T Using Hoare logic for quantum circuit optimization. %U http://dblp.uni-trier.de/db/journals/corr/corr1810.html#abs-1810-00375 %V abs/1810.00375

@article{journals/corr/abs-1810-00375, added-at = {2018-11-01T00:00:00.000+0100}, author = {Häner, Thomas and Hoefler, Torsten and Troyer, Matthias}, biburl = {https://www.bibsonomy.org/bibtex/2ac08d9da942014a0249169f06a73e52c/dblp}, ee = {http://arxiv.org/abs/1810.00375}, interhash = {09c90519a5dbfbc4c81075729cfe6398}, intrahash = {ac08d9da942014a0249169f06a73e52c}, journal = {CoRR}, keywords = {dblp}, timestamp = {2018-11-02T11:36:27.000+0100}, title = {Using Hoare logic for quantum circuit optimization.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1810.html#abs-1810-00375}, volume = {abs/1810.00375}, year = 2018 }