default search action
Search dblp for Publications
export results for "toc:db/series/eptcs/eptcs318.bht:"
@proceedings{DBLP:journals/corr/abs-2004-14750, editor = {Bob Coecke and Matthew Leifer}, title = {Proceedings 16th International Conference on Quantum Physics and Logic, {QPL} 2019, Chapman University, Orange, CA, USA, June 10-14, 2019}, series = {{EPTCS}}, volume = {318}, year = {2020}, url = {https://doi.org/10.4204/EPTCS.318}, doi = {10.4204/EPTCS.318}, timestamp = {Fri, 03 Jul 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2004-14750.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/abs-1901-02406, author = {Mathias Soeken}, editor = {Bob Coecke and Matthew Leifer}, title = {Using ZDDs in the mapping of quantum circuits}, booktitle = {Proceedings 16th International Conference on Quantum Physics and Logic, {QPL} 2019, Chapman University, Orange, CA, USA, June 10-14, 2019}, series = {{EPTCS}}, volume = {318}, pages = {106--118}, year = {2019}, url = {https://doi.org/10.4204/EPTCS.318.7}, doi = {10.4204/EPTCS.318.7}, timestamp = {Fri, 03 Jul 2020 12:26:21 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1901-02406.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/abs-1904-00706, author = {Hector Miller{-}Bakewell}, editor = {Bob Coecke and Matthew Leifer}, title = {Finite Verification of Infinite Families of Diagram Equations}, booktitle = {Proceedings 16th International Conference on Quantum Physics and Logic, {QPL} 2019, Chapman University, Orange, CA, USA, June 10-14, 2019}, series = {{EPTCS}}, volume = {318}, pages = {27--52}, year = {2019}, url = {https://doi.org/10.4204/EPTCS.318.3}, doi = {10.4204/EPTCS.318.3}, timestamp = {Tue, 24 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1904-00706.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/abs-1904-04735, author = {Aleks Kissinger and John van de Wetering}, editor = {Bob Coecke and Matthew Leifer}, title = {PyZX: Large Scale Automated Diagrammatic Reasoning}, booktitle = {Proceedings 16th International Conference on Quantum Physics and Logic, {QPL} 2019, Chapman University, Orange, CA, USA, June 10-14, 2019}, series = {{EPTCS}}, volume = {318}, pages = {229--241}, year = {2019}, url = {https://doi.org/10.4204/EPTCS.318.14}, doi = {10.4204/EPTCS.318.14}, timestamp = {Sat, 28 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1904-04735.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/abs-1904-12817, author = {Niel de Beaudrap and Ross Duncan and Dominic Horsman and Simon Perdrix}, editor = {Bob Coecke and Matthew Leifer}, title = {Pauli Fusion: a Computational Model to Realise Quantum Transformations from {ZX} Terms}, booktitle = {Proceedings 16th International Conference on Quantum Physics and Logic, {QPL} 2019, Chapman University, Orange, CA, USA, June 10-14, 2019}, series = {{EPTCS}}, volume = {318}, pages = {85--105}, year = {2019}, url = {https://doi.org/10.4204/EPTCS.318.6}, doi = {10.4204/EPTCS.318.6}, timestamp = {Sat, 28 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1904-12817.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/abs-1905-00797, author = {Joseph Collins and Ross Duncan}, editor = {Bob Coecke and Matthew Leifer}, title = {Hopf-Frobenius Algebras and a Simpler Drinfeld Double}, booktitle = {Proceedings 16th International Conference on Quantum Physics and Logic, {QPL} 2019, Chapman University, Orange, CA, USA, June 10-14, 2019}, series = {{EPTCS}}, volume = {318}, pages = {150--180}, year = {2019}, url = {https://doi.org/10.4204/EPTCS.318.10}, doi = {10.4204/EPTCS.318.10}, timestamp = {Sat, 28 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1905-00797.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/abs-1905-09055, author = {Alexandru Gheorghiu and Chris Heunen}, editor = {Bob Coecke and Matthew Leifer}, title = {Ontological models for quantum theory as functors}, booktitle = {Proceedings 16th International Conference on Quantum Physics and Logic, {QPL} 2019, Chapman University, Orange, CA, USA, June 10-14, 2019}, series = {{EPTCS}}, volume = {318}, pages = {196--212}, year = {2019}, url = {https://doi.org/10.4204/EPTCS.318.12}, doi = {10.4204/EPTCS.318.12}, timestamp = {Sat, 28 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1905-09055.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/abs-1906-01734, author = {Alexander Cowtan and Silas Dilkes and Ross Duncan and Will Simmons and Seyon Sivarajah}, editor = {Bob Coecke and Matthew Leifer}, title = {Phase Gadget Synthesis for Shallow Circuits}, booktitle = {Proceedings 16th International Conference on Quantum Physics and Logic, {QPL} 2019, Chapman University, Orange, CA, USA, June 10-14, 2019}, series = {{EPTCS}}, volume = {318}, pages = {213--228}, year = {2019}, url = {https://doi.org/10.4204/EPTCS.318.13}, doi = {10.4204/EPTCS.318.13}, timestamp = {Sat, 23 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-1906-01734.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/abs-1907-05172, author = {Sean Tull}, editor = {Bob Coecke and Matthew Leifer}, title = {Deriving Dagger Compactness}, booktitle = {Proceedings 16th International Conference on Quantum Physics and Logic, {QPL} 2019, Chapman University, Orange, CA, USA, June 10-14, 2019}, series = {{EPTCS}}, volume = {318}, pages = {181--195}, year = {2019}, url = {https://doi.org/10.4204/EPTCS.318.11}, doi = {10.4204/EPTCS.318.11}, timestamp = {Tue, 24 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1907-05172.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/abs-1911-09039, author = {Niel de Beaudrap and Xiaoning Bian and Quanlong Wang}, editor = {Bob Coecke and Matthew Leifer}, title = {Techniques to Reduce ({\(\pi\)}/4)-Parity-Phase Circuits, Motivated by the {ZX} Calculus}, booktitle = {Proceedings 16th International Conference on Quantum Physics and Logic, {QPL} 2019, Chapman University, Orange, CA, USA, June 10-14, 2019}, series = {{EPTCS}}, volume = {318}, pages = {131--149}, year = {2019}, url = {https://doi.org/10.4204/EPTCS.318.9}, doi = {10.4204/EPTCS.318.9}, timestamp = {Tue, 24 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1911-09039.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/abs-2005-00207, author = {Tejas Bhojraj}, editor = {Bob Coecke and Matthew Leifer}, title = {Generating Randomness from a Computable, Non-random Sequence of Qubits}, booktitle = {Proceedings 16th International Conference on Quantum Physics and Logic, {QPL} 2019, Chapman University, Orange, CA, USA, June 10-14, 2019}, series = {{EPTCS}}, volume = {318}, pages = {1--12}, year = {2019}, url = {https://doi.org/10.4204/EPTCS.318.1}, doi = {10.4204/EPTCS.318.1}, timestamp = {Fri, 03 Jul 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2005-00207.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/abs-2005-00208, author = {Jean{-}Simon Pacaud Lemay}, editor = {Bob Coecke and Matthew Leifer}, title = {Why FHilb is Not an Interesting (Co)Differential Category}, booktitle = {Proceedings 16th International Conference on Quantum Physics and Logic, {QPL} 2019, Chapman University, Orange, CA, USA, June 10-14, 2019}, series = {{EPTCS}}, volume = {318}, pages = {13--26}, year = {2019}, url = {https://doi.org/10.4204/EPTCS.318.2}, doi = {10.4204/EPTCS.318.2}, timestamp = {Sun, 12 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2005-00208.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/abs-2005-00209, author = {Octavio Zapata}, editor = {Bob Coecke and Matthew Leifer}, title = {Effectus of Quantum Probability on Relational Structures}, booktitle = {Proceedings 16th International Conference on Quantum Physics and Logic, {QPL} 2019, Chapman University, Orange, CA, USA, June 10-14, 2019}, series = {{EPTCS}}, volume = {318}, pages = {53--65}, year = {2019}, url = {https://doi.org/10.4204/EPTCS.318.4}, doi = {10.4204/EPTCS.318.4}, timestamp = {Fri, 03 Jul 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2005-00209.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/abs-2005-00210, author = {Robert Furber}, editor = {Bob Coecke and Matthew Leifer}, title = {Scott Continuity in Generalized Probabilistic Theories}, booktitle = {Proceedings 16th International Conference on Quantum Physics and Logic, {QPL} 2019, Chapman University, Orange, CA, USA, June 10-14, 2019}, series = {{EPTCS}}, volume = {318}, pages = {66--84}, year = {2019}, url = {https://doi.org/10.4204/EPTCS.318.5}, doi = {10.4204/EPTCS.318.5}, timestamp = {Mon, 26 Oct 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2005-00210.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/abs-2005-00211, author = {Giulia Meuli and Mathias Soeken and Martin Roetteler and Giovanni De Micheli}, editor = {Bob Coecke and Matthew Leifer}, title = {{ROS:} Resource-constrained Oracle Synthesis for Quantum Computers}, booktitle = {Proceedings 16th International Conference on Quantum Physics and Logic, {QPL} 2019, Chapman University, Orange, CA, USA, June 10-14, 2019}, series = {{EPTCS}}, volume = {318}, pages = {119--130}, year = {2019}, url = {https://doi.org/10.4204/EPTCS.318.8}, doi = {10.4204/EPTCS.318.8}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2005-00211.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/abs-2005-00213, author = {Sivert Aasn{\ae}ss}, editor = {Bob Coecke and Matthew Leifer}, title = {Cohomology and the Algebraic Structure of Contextuality in Measurement Based Quantum Computation}, booktitle = {Proceedings 16th International Conference on Quantum Physics and Logic, {QPL} 2019, Chapman University, Orange, CA, USA, June 10-14, 2019}, series = {{EPTCS}}, volume = {318}, pages = {242--253}, year = {2019}, url = {https://doi.org/10.4204/EPTCS.318.15}, doi = {10.4204/EPTCS.318.15}, timestamp = {Tue, 24 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2005-00213.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.