%0 Conference Paper %1 journals/corr/abs-1901-10118 %A Rand, Robert %A Paykin, Jennifer %A Lee, Dong-Ho %A Zdancewic, Steve %B QPL %D 2018 %E Selinger, Peter %E Chiribella, Giulio %K dblp %P 299-312 %T ReQWIRE: Reasoning about Reversible Quantum Circuits. %U http://dblp.uni-trier.de/db/series/eptcs/eptcs287.html#abs-1901-10118 %V 287

@inproceedings{journals/corr/abs-1901-10118, added-at = {2020-12-29T00:00:00.000+0100}, author = {Rand, Robert and Paykin, Jennifer and Lee, Dong-Ho and Zdancewic, Steve}, biburl = {https://www.bibsonomy.org/bibtex/238f41dd69cbba10e979c628ec101ea52/dblp}, booktitle = {QPL}, crossref = {journals/corr/abs-1901-09476}, editor = {Selinger, Peter and Chiribella, Giulio}, ee = {http://arxiv.org/abs/1901.10118}, interhash = {6e020513f63489d21dc370eddc72a1ec}, intrahash = {38f41dd69cbba10e979c628ec101ea52}, keywords = {dblp}, pages = {299-312}, series = {EPTCS}, timestamp = {2024-04-10T04:48:36.000+0200}, title = {ReQWIRE: Reasoning about Reversible Quantum Circuits.}, url = {http://dblp.uni-trier.de/db/series/eptcs/eptcs287.html#abs-1901-10118}, volume = 287, year = 2018 }