default search action
Search dblp for Publications
export results for "toc:db/series/eptcs/eptcs266.bht:"
@proceedings{DBLP:journals/corr/abs-1802-09737, editor = {Bob Coecke and Aleks Kissinger}, title = {Proceedings 14th International Conference on Quantum Physics and Logic, {QPL} 2017, Nijmegen, The Netherlands, 3-7 July 2017}, series = {{EPTCS}}, volume = {266}, year = {2018}, url = {https://doi.org/10.4204/EPTCS.266}, doi = {10.4204/EPTCS.266}, timestamp = {Wed, 29 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1802-09737.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/AmyCR17, author = {Matthew Amy and Jianxin Chen and Neil J. Ross}, editor = {Bob Coecke and Aleks Kissinger}, title = {A finite presentation of CNOT-dihedral operators}, booktitle = {Proceedings 14th International Conference on Quantum Physics and Logic, {QPL} 2017, Nijmegen, The Netherlands, 3-7 July 2017}, series = {{EPTCS}}, volume = {266}, pages = {84--97}, year = {2017}, url = {https://doi.org/10.4204/EPTCS.266.5}, doi = {10.4204/EPTCS.266.5}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/AmyCR17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/Cicala17, author = {Daniel Cicala}, editor = {Bob Coecke and Aleks Kissinger}, title = {Categorifying the zx-calculus}, booktitle = {Proceedings 14th International Conference on Quantum Physics and Logic, {QPL} 2017, Nijmegen, The Netherlands, 3-7 July 2017}, series = {{EPTCS}}, volume = {266}, pages = {294--314}, year = {2017}, url = {https://doi.org/10.4204/EPTCS.266.19}, doi = {10.4204/EPTCS.266.19}, timestamp = {Wed, 12 Sep 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/Cicala17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/CockettCS17, author = {J. Robin B. Cockett and Cole Comfort and Priyaa V. Srinivasan}, editor = {Bob Coecke and Aleks Kissinger}, title = {The Category {CNOT}}, booktitle = {Proceedings 14th International Conference on Quantum Physics and Logic, {QPL} 2017, Nijmegen, The Netherlands, 3-7 July 2017}, series = {{EPTCS}}, volume = {266}, pages = {258--293}, year = {2017}, url = {https://doi.org/10.4204/EPTCS.266.18}, doi = {10.4204/EPTCS.266.18}, timestamp = {Wed, 29 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/CockettCS17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/DorbecM17, author = {Paul Dorbec and Mehdi Mhalla}, editor = {Bob Coecke and Aleks Kissinger}, title = {Quantum Combinatorial Games}, booktitle = {Proceedings 14th International Conference on Quantum Physics and Logic, {QPL} 2017, Nijmegen, The Netherlands, 3-7 July 2017}, series = {{EPTCS}}, volume = {266}, pages = {237--248}, year = {2017}, url = {https://doi.org/10.4204/EPTCS.266.16}, doi = {10.4204/EPTCS.266.16}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/DorbecM17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/GarvieD17, author = {Liam Garvie and Ross Duncan}, editor = {Bob Coecke and Aleks Kissinger}, title = {Verifying the Smallest Interesting Colour Code with Quantomatic}, booktitle = {Proceedings 14th International Conference on Quantum Physics and Logic, {QPL} 2017, Nijmegen, The Netherlands, 3-7 July 2017}, series = {{EPTCS}}, volume = {266}, pages = {147--163}, year = {2017}, url = {https://doi.org/10.4204/EPTCS.266.10}, doi = {10.4204/EPTCS.266.10}, timestamp = {Tue, 29 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/GarvieD17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/GhicaL17, author = {Dan R. Ghica and Aliaume Lopez}, editor = {Bob Coecke and Aleks Kissinger}, title = {A structural and nominal syntax for diagrams}, booktitle = {Proceedings 14th International Conference on Quantum Physics and Logic, {QPL} 2017, Nijmegen, The Netherlands, 3-7 July 2017}, series = {{EPTCS}}, volume = {266}, pages = {71--83}, year = {2017}, url = {https://doi.org/10.4204/EPTCS.266.4}, doi = {10.4204/EPTCS.266.4}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/GhicaL17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/JeandelPV17, author = {Emmanuel Jeandel and Simon Perdrix and Renaud Vilmart}, editor = {Bob Coecke and Aleks Kissinger}, title = {Y-Calculus: {A} language for real Matrices derived from the ZX-Calculus}, booktitle = {Proceedings 14th International Conference on Quantum Physics and Logic, {QPL} 2017, Nijmegen, The Netherlands, 3-7 July 2017}, series = {{EPTCS}}, volume = {266}, pages = {23--57}, year = {2017}, url = {https://doi.org/10.4204/EPTCS.266.2}, doi = {10.4204/EPTCS.266.2}, timestamp = {Wed, 12 Sep 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/JeandelPV17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/RiosS17, author = {Francisco Rios and Peter Selinger}, editor = {Bob Coecke and Aleks Kissinger}, title = {A categorical model for a quantum circuit description language}, booktitle = {Proceedings 14th International Conference on Quantum Physics and Logic, {QPL} 2017, Nijmegen, The Netherlands, 3-7 July 2017}, series = {{EPTCS}}, volume = {266}, pages = {164--178}, year = {2017}, url = {https://doi.org/10.4204/EPTCS.266.11}, doi = {10.4204/EPTCS.266.11}, timestamp = {Wed, 25 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/RiosS17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/abs-1701-03309, author = {David Reutter and Jamie Vicary}, editor = {Bob Coecke and Aleks Kissinger}, title = {Shaded Tangles for the Design and Verification of Quantum Programs (Extended Abstract)}, booktitle = {Proceedings 14th International Conference on Quantum Physics and Logic, {QPL} 2017, Nijmegen, The Netherlands, 3-7 July 2017}, series = {{EPTCS}}, volume = {266}, pages = {329--348}, year = {2017}, url = {https://doi.org/10.4204/EPTCS.266.21}, doi = {10.4204/EPTCS.266.21}, timestamp = {Tue, 24 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1701-03309.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/abs-1701-07400, author = {Bob Coecke and John H. Selby and Sean Tull}, editor = {Bob Coecke and Aleks Kissinger}, title = {Two Roads to Classicality}, booktitle = {Proceedings 14th International Conference on Quantum Physics and Logic, {QPL} 2017, Nijmegen, The Netherlands, 3-7 July 2017}, series = {{EPTCS}}, volume = {266}, pages = {104--118}, year = {2017}, url = {https://doi.org/10.4204/EPTCS.266.7}, doi = {10.4204/EPTCS.266.7}, timestamp = {Sat, 28 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1701-07400.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/abs-1701-08075, author = {Stefano Gogioso and Carlo Maria Scandolo}, editor = {Bob Coecke and Aleks Kissinger}, title = {Categorical Probabilistic Theories}, booktitle = {Proceedings 14th International Conference on Quantum Physics and Logic, {QPL} 2017, Nijmegen, The Netherlands, 3-7 July 2017}, series = {{EPTCS}}, volume = {266}, pages = {367--385}, year = {2017}, url = {https://doi.org/10.4204/EPTCS.266.23}, doi = {10.4204/EPTCS.266.23}, timestamp = {Sat, 28 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1701-08075.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/abs-1703-09594, author = {Stefano Gogioso and Fabrizio Genovese}, editor = {Bob Coecke and Aleks Kissinger}, title = {Towards Quantum Field Theory in Categorical Quantum Mechanics}, booktitle = {Proceedings 14th International Conference on Quantum Physics and Logic, {QPL} 2017, Nijmegen, The Netherlands, 3-7 July 2017}, series = {{EPTCS}}, volume = {266}, pages = {349--366}, year = {2017}, url = {https://doi.org/10.4204/EPTCS.266.22}, doi = {10.4204/EPTCS.266.22}, timestamp = {Sat, 28 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1703-09594.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/abs-1704-08086, author = {Pau Enrique Moliner and Chris Heunen and Sean Tull}, editor = {Bob Coecke and Aleks Kissinger}, title = {Space in Monoidal Categories}, booktitle = {Proceedings 14th International Conference on Quantum Physics and Logic, {QPL} 2017, Nijmegen, The Netherlands, 3-7 July 2017}, series = {{EPTCS}}, volume = {266}, pages = {399--410}, year = {2017}, url = {https://doi.org/10.4204/EPTCS.266.25}, doi = {10.4204/EPTCS.266.25}, timestamp = {Wed, 12 Sep 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1704-08086.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/abs-1704-08525, author = {John van de Wetering}, editor = {Bob Coecke and Aleks Kissinger}, title = {Quantum Theory is a Quasi-stochastic Process Theory}, booktitle = {Proceedings 14th International Conference on Quantum Physics and Logic, {QPL} 2017, Nijmegen, The Netherlands, 3-7 July 2017}, series = {{EPTCS}}, volume = {266}, pages = {179--196}, year = {2017}, url = {https://doi.org/10.4204/EPTCS.266.12}, doi = {10.4204/EPTCS.266.12}, timestamp = {Sat, 28 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1704-08525.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/abs-1705-07652, author = {Oscar Cunningham and Chris Heunen}, editor = {Bob Coecke and Aleks Kissinger}, title = {Purity through Factorisation}, booktitle = {Proceedings 14th International Conference on Quantum Physics and Logic, {QPL} 2017, Nijmegen, The Netherlands, 3-7 July 2017}, series = {{EPTCS}}, volume = {266}, pages = {315--328}, year = {2017}, url = {https://doi.org/10.4204/EPTCS.266.20}, doi = {10.4204/EPTCS.266.20}, timestamp = {Wed, 12 Sep 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1705-07652.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/abs-1708-00843, author = {Linde Wester}, editor = {Bob Coecke and Aleks Kissinger}, title = {Almost Equivalent Paradigms of Contextuality}, booktitle = {Proceedings 14th International Conference on Quantum Physics and Logic, {QPL} 2017, Nijmegen, The Netherlands, 3-7 July 2017}, series = {{EPTCS}}, volume = {266}, pages = {1--22}, year = {2017}, url = {https://doi.org/10.4204/EPTCS.266.1}, doi = {10.4204/EPTCS.266.1}, timestamp = {Wed, 12 Sep 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1708-00843.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/abs-1803-00696, author = {Quanlong Wang}, editor = {Bob Coecke and Aleks Kissinger}, title = {Qutrit ZX-calculus is Complete for Stabilizer Quantum Mechanics}, booktitle = {Proceedings 14th International Conference on Quantum Physics and Logic, {QPL} 2017, Nijmegen, The Netherlands, 3-7 July 2017}, series = {{EPTCS}}, volume = {266}, pages = {58--70}, year = {2017}, url = {https://doi.org/10.4204/EPTCS.266.3}, doi = {10.4204/EPTCS.266.3}, timestamp = {Tue, 24 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1803-00696.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/abs-1803-00697, author = {Andreas Blass and Yuri Gurevich}, editor = {Bob Coecke and Aleks Kissinger}, title = {Common Denominator for Value and Expectation No-go Theorems: Extended Abstract}, booktitle = {Proceedings 14th International Conference on Quantum Physics and Logic, {QPL} 2017, Nijmegen, The Netherlands, 3-7 July 2017}, series = {{EPTCS}}, volume = {266}, pages = {98--103}, year = {2017}, url = {https://doi.org/10.4204/EPTCS.266.6}, doi = {10.4204/EPTCS.266.6}, timestamp = {Wed, 12 Sep 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1803-00697.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/abs-1803-00699, author = {Robert Rand and Jennifer Paykin and Steve Zdancewic}, editor = {Bob Coecke and Aleks Kissinger}, title = {{QWIRE} Practice: Formal Verification of Quantum Circuits in Coq}, booktitle = {Proceedings 14th International Conference on Quantum Physics and Logic, {QPL} 2017, Nijmegen, The Netherlands, 3-7 July 2017}, series = {{EPTCS}}, volume = {266}, pages = {119--132}, year = {2017}, url = {https://doi.org/10.4204/EPTCS.266.8}, doi = {10.4204/EPTCS.266.8}, timestamp = {Tue, 29 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-1803-00699.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/abs-1803-00700, author = {Maaike Zwart and Bob Coecke}, editor = {Bob Coecke and Aleks Kissinger}, title = {Double Dilation {\(\not =\)} Double Mixing (extended abstract)}, booktitle = {Proceedings 14th International Conference on Quantum Physics and Logic, {QPL} 2017, Nijmegen, The Netherlands, 3-7 July 2017}, series = {{EPTCS}}, volume = {266}, pages = {133--146}, year = {2017}, url = {https://doi.org/10.4204/EPTCS.266.9}, doi = {10.4204/EPTCS.266.9}, timestamp = {Sat, 28 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1803-00700.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/abs-1803-00705, author = {Kevin Dunne}, editor = {Bob Coecke and Aleks Kissinger}, title = {On the Structure of Abstract H*-Algebras}, booktitle = {Proceedings 14th International Conference on Quantum Physics and Logic, {QPL} 2017, Nijmegen, The Netherlands, 3-7 July 2017}, series = {{EPTCS}}, volume = {266}, pages = {197--208}, year = {2017}, url = {https://doi.org/10.4204/EPTCS.266.13}, doi = {10.4204/EPTCS.266.13}, timestamp = {Wed, 12 Sep 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1803-00705.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/abs-1803-00706, author = {Daniel Mills and Anna Pappa and Theodoros Kapourniotis and Elham Kashefi}, editor = {Bob Coecke and Aleks Kissinger}, title = {Information Theoretically Secure Hypothesis Test for Temporally Unstructured Quantum Computation (Extended Abstract)}, booktitle = {Proceedings 14th International Conference on Quantum Physics and Logic, {QPL} 2017, Nijmegen, The Netherlands, 3-7 July 2017}, series = {{EPTCS}}, volume = {266}, pages = {209--221}, year = {2017}, url = {https://doi.org/10.4204/EPTCS.266.14}, doi = {10.4204/EPTCS.266.14}, timestamp = {Sat, 28 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1803-00706.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/abs-1803-00707, author = {Alexander Wilce}, editor = {Bob Coecke and Aleks Kissinger}, title = {A Shortcut from Categorical Quantum Theory to Convex Operational Theories}, booktitle = {Proceedings 14th International Conference on Quantum Physics and Logic, {QPL} 2017, Nijmegen, The Netherlands, 3-7 July 2017}, series = {{EPTCS}}, volume = {266}, pages = {222--236}, year = {2017}, url = {https://doi.org/10.4204/EPTCS.266.15}, doi = {10.4204/EPTCS.266.15}, timestamp = {Tue, 24 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1803-00707.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/abs-1803-00708, author = {Bob Coecke and Fabrizio Genovese and Stefano Gogioso and Dan Marsden and Robin Piedeleu}, editor = {Bob Coecke and Aleks Kissinger}, title = {Uniqueness of Composition in Quantum Theory and Linguistics}, booktitle = {Proceedings 14th International Conference on Quantum Physics and Logic, {QPL} 2017, Nijmegen, The Netherlands, 3-7 July 2017}, series = {{EPTCS}}, volume = {266}, pages = {249--257}, year = {2017}, url = {https://doi.org/10.4204/EPTCS.266.17}, doi = {10.4204/EPTCS.266.17}, timestamp = {Sat, 28 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1803-00708.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/abs-1803-00709, author = {Kevin Dunne}, editor = {Bob Coecke and Aleks Kissinger}, title = {Spectral Presheaves, Kochen-Specker Contextuality, and Quantale-Valued Relations}, booktitle = {Proceedings 14th International Conference on Quantum Physics and Logic, {QPL} 2017, Nijmegen, The Netherlands, 3-7 July 2017}, series = {{EPTCS}}, volume = {266}, pages = {386--398}, year = {2017}, url = {https://doi.org/10.4204/EPTCS.266.24}, doi = {10.4204/EPTCS.266.24}, timestamp = {Wed, 12 Sep 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1803-00709.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.