Search dblp for Publications

export results for "toc:db/series/eptcs/eptcs266.bht:"

 download as .bib file

@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}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.