BibTeX record journals/corr/abs-1901-10118

download as .bib file

@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}
}