default search action
BibTeX record journals/corr/abs-1901-10118
@inproceedings{DBLP:journals/corr/abs-1901-10118, author = {Robert Rand and Jennifer Paykin and Dong{-}Ho Lee and Steve Zdancewic}, editor = {Peter Selinger and Giulio Chiribella}, title = {ReQWIRE: Reasoning about Reversible Quantum Circuits}, booktitle = {Proceedings 15th International Conference on Quantum Physics and Logic, {QPL} 2018, Halifax, Canada, 3-7th June 2018}, series = {{EPTCS}}, volume = {287}, pages = {299--312}, year = {2018}, url = {https://doi.org/10.4204/EPTCS.287.17}, doi = {10.4204/EPTCS.287.17}, timestamp = {Tue, 29 Dec 2020 18:21:16 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-1901-10118.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.