Search dblp for Publications

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

 download as .bib file

@proceedings{DBLP:journals/corr/abs-2109-01534,
  editor       = {Beno{\^{\i}}t Valiron and
                  Shane Mansfield and
                  Pablo Arrighi and
                  Prakash Panangaden},
  title        = {Proceedings 17th International Conference on Quantum Physics and Logic,
                  {QPL} 2020, Paris, France, June 2 - 6, 2020},
  series       = {{EPTCS}},
  volume       = {340},
  year         = {2021},
  url          = {https://doi.org/10.4204/EPTCS.340},
  doi          = {10.4204/EPTCS.340},
  timestamp    = {Mon, 29 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2109-01534.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1910-06818,
  author       = {Anthony Munson and
                  Bob Coecke and
                  Quanlong Wang},
  editor       = {Beno{\^{\i}}t Valiron and
                  Shane Mansfield and
                  Pablo Arrighi and
                  Prakash Panangaden},
  title        = {AND-gates in ZX-calculus: Spider Nest Identities and QBC-completeness},
  booktitle    = {Proceedings 17th International Conference on Quantum Physics and Logic,
                  {QPL} 2020, Paris, France, June 2 - 6, 2020},
  series       = {{EPTCS}},
  volume       = {340},
  pages        = {230--255},
  year         = {2020},
  url          = {https://doi.org/10.4204/EPTCS.340.12},
  doi          = {10.4204/EPTCS.340.12},
  timestamp    = {Sun, 06 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1910-06818.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1911-06752,
  author       = {Quanlong Wang},
  editor       = {Beno{\^{\i}}t Valiron and
                  Shane Mansfield and
                  Pablo Arrighi and
                  Prakash Panangaden},
  title        = {An Algebraic Axiomatisation of ZX-calculus},
  booktitle    = {Proceedings 17th International Conference on Quantum Physics and Logic,
                  {QPL} 2020, Paris, France, June 2 - 6, 2020},
  series       = {{EPTCS}},
  volume       = {340},
  pages        = {303--332},
  year         = {2020},
  url          = {https://doi.org/10.4204/EPTCS.340.16},
  doi          = {10.4204/EPTCS.340.16},
  timestamp    = {Tue, 24 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1911-06752.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1912-11412,
  author       = {Sacha Huriot{-}Tattegrain and
                  Mehdi Mhalla},
  editor       = {Beno{\^{\i}}t Valiron and
                  Shane Mansfield and
                  Pablo Arrighi and
                  Prakash Panangaden},
  title        = {Contextuality and Expressivity of Non-locality},
  booktitle    = {Proceedings 17th International Conference on Quantum Physics and Logic,
                  {QPL} 2020, Paris, France, June 2 - 6, 2020},
  series       = {{EPTCS}},
  volume       = {340},
  pages        = {160--173},
  year         = {2020},
  url          = {https://doi.org/10.4204/EPTCS.340.8},
  doi          = {10.4204/EPTCS.340.8},
  timestamp    = {Tue, 24 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1912-11412.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2003-08224,
  author       = {Matt Wilson and
                  Giulio Chiribella},
  editor       = {Beno{\^{\i}}t Valiron and
                  Shane Mansfield and
                  Pablo Arrighi and
                  Prakash Panangaden},
  title        = {A Diagrammatic Approach to Information Transmission in Generalised
                  Switches},
  booktitle    = {Proceedings 17th International Conference on Quantum Physics and Logic,
                  {QPL} 2020, Paris, France, June 2 - 6, 2020},
  series       = {{EPTCS}},
  volume       = {340},
  pages        = {333--348},
  year         = {2020},
  url          = {https://doi.org/10.4204/EPTCS.340.17},
  doi          = {10.4204/EPTCS.340.17},
  timestamp    = {Tue, 24 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2003-08224.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2003-08318,
  author       = {James Hefford and
                  Stefano Gogioso},
  editor       = {Beno{\^{\i}}t Valiron and
                  Shane Mansfield and
                  Pablo Arrighi and
                  Prakash Panangaden},
  title        = {Hyper-decoherence in Density Hypercubes},
  booktitle    = {Proceedings 17th International Conference on Quantum Physics and Logic,
                  {QPL} 2020, Paris, France, June 2 - 6, 2020},
  series       = {{EPTCS}},
  volume       = {340},
  pages        = {141--159},
  year         = {2020},
  url          = {https://doi.org/10.4204/EPTCS.340.7},
  doi          = {10.4204/EPTCS.340.7},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2003-08318.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2003-10245,
  author       = {Kenta Cho and
                  Bas Westerbaan and
                  John van de Wetering},
  editor       = {Beno{\^{\i}}t Valiron and
                  Shane Mansfield and
                  Pablo Arrighi and
                  Prakash Panangaden},
  title        = {Dichotomy between deterministic and probabilistic models in countably
                  additive effectus theory},
  booktitle    = {Proceedings 17th International Conference on Quantum Physics and Logic,
                  {QPL} 2020, Paris, France, June 2 - 6, 2020},
  series       = {{EPTCS}},
  volume       = {340},
  pages        = {91--113},
  year         = {2020},
  url          = {https://doi.org/10.4204/EPTCS.340.5},
  doi          = {10.4204/EPTCS.340.5},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2003-10245.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2003-13306,
  author       = {Nicola Pinzani and
                  Stefano Gogioso},
  editor       = {Beno{\^{\i}}t Valiron and
                  Shane Mansfield and
                  Pablo Arrighi and
                  Prakash Panangaden},
  title        = {Giving Operational Meaning to the Superposition of Causal Orders},
  booktitle    = {Proceedings 17th International Conference on Quantum Physics and Logic,
                  {QPL} 2020, Paris, France, June 2 - 6, 2020},
  series       = {{EPTCS}},
  volume       = {340},
  pages        = {256--278},
  year         = {2020},
  url          = {https://doi.org/10.4204/EPTCS.340.13},
  doi          = {10.4204/EPTCS.340.13},
  timestamp    = {Tue, 24 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2003-13306.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2003-13564,
  author       = {Louis Lemonnier and
                  John van de Wetering and
                  Aleks Kissinger},
  editor       = {Beno{\^{\i}}t Valiron and
                  Shane Mansfield and
                  Pablo Arrighi and
                  Prakash Panangaden},
  title        = {Hypergraph Simplification: Linking the Path-sum Approach to the ZH-calculus},
  booktitle    = {Proceedings 17th International Conference on Quantum Physics and Logic,
                  {QPL} 2020, Paris, France, June 2 - 6, 2020},
  series       = {{EPTCS}},
  volume       = {340},
  pages        = {188--212},
  year         = {2020},
  url          = {https://doi.org/10.4204/EPTCS.340.10},
  doi          = {10.4204/EPTCS.340.10},
  timestamp    = {Sat, 28 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2003-13564.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2004-04128,
  author       = {Adriana D. Correia and
                  Henk T. C. Stoof and
                  Michael Moortgat},
  editor       = {Beno{\^{\i}}t Valiron and
                  Shane Mansfield and
                  Pablo Arrighi and
                  Prakash Panangaden},
  title        = {Putting a Spin on Language: {A} Quantum Interpretation of Unary Connectives
                  for Linguistic Applications},
  booktitle    = {Proceedings 17th International Conference on Quantum Physics and Logic,
                  {QPL} 2020, Paris, France, June 2 - 6, 2020},
  series       = {{EPTCS}},
  volume       = {340},
  pages        = {114--140},
  year         = {2020},
  url          = {https://doi.org/10.4204/EPTCS.340.6},
  doi          = {10.4204/EPTCS.340.6},
  timestamp    = {Mon, 29 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2004-04128.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2004-05287,
  author       = {Cole Comfort},
  editor       = {Beno{\^{\i}}t Valiron and
                  Shane Mansfield and
                  Pablo Arrighi and
                  Prakash Panangaden},
  title        = {The ZX{\&} calculus: {A} complete graphical calculus for classical
                  circuits using spiders},
  booktitle    = {Proceedings 17th International Conference on Quantum Physics and Logic,
                  {QPL} 2020, Paris, France, June 2 - 6, 2020},
  series       = {{EPTCS}},
  volume       = {340},
  pages        = {60--90},
  year         = {2020},
  url          = {https://doi.org/10.4204/EPTCS.340.4},
  doi          = {10.4204/EPTCS.340.4},
  timestamp    = {Mon, 29 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2004-05287.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2004-06455,
  author       = {Niel de Beaudrap and
                  Aleks Kissinger and
                  Konstantinos Meichanetzidis},
  editor       = {Beno{\^{\i}}t Valiron and
                  Shane Mansfield and
                  Pablo Arrighi and
                  Prakash Panangaden},
  title        = {Tensor Network Rewriting Strategies for Satisfiability and Counting},
  booktitle    = {Proceedings 17th International Conference on Quantum Physics and Logic,
                  {QPL} 2020, Paris, France, June 2 - 6, 2020},
  series       = {{EPTCS}},
  volume       = {340},
  pages        = {46--59},
  year         = {2020},
  url          = {https://doi.org/10.4204/EPTCS.340.3},
  doi          = {10.4204/EPTCS.340.3},
  timestamp    = {Mon, 29 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2004-06455.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2004-12921,
  author       = {{\"{A}}min Baumeler and
                  Eleftherios Tselentis},
  editor       = {Beno{\^{\i}}t Valiron and
                  Shane Mansfield and
                  Pablo Arrighi and
                  Prakash Panangaden},
  title        = {Equivalence of grandfather and information antinomy under intervention},
  booktitle    = {Proceedings 17th International Conference on Quantum Physics and Logic,
                  {QPL} 2020, Paris, France, June 2 - 6, 2020},
  series       = {{EPTCS}},
  volume       = {340},
  pages        = {1--12},
  year         = {2020},
  url          = {https://doi.org/10.4204/EPTCS.340.1},
  doi          = {10.4204/EPTCS.340.1},
  timestamp    = {Tue, 16 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2004-12921.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2005-04147,
  author       = {Konstantinos Meichanetzidis and
                  Stefano Gogioso and
                  Giovanni de Felice and
                  Nicol{\`{o}} Chiappori and
                  Alexis Toumi and
                  Bob Coecke},
  editor       = {Beno{\^{\i}}t Valiron and
                  Shane Mansfield and
                  Pablo Arrighi and
                  Prakash Panangaden},
  title        = {Quantum Natural Language Processing on Near-Term Quantum Computers},
  booktitle    = {Proceedings 17th International Conference on Quantum Physics and Logic,
                  {QPL} 2020, Paris, France, June 2 - 6, 2020},
  series       = {{EPTCS}},
  volume       = {340},
  pages        = {213--229},
  year         = {2020},
  url          = {https://doi.org/10.4204/EPTCS.340.11},
  doi          = {10.4204/EPTCS.340.11},
  timestamp    = {Mon, 29 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2005-04147.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2006-02557,
  author       = {Niel de Beaudrap},
  editor       = {Beno{\^{\i}}t Valiron and
                  Shane Mansfield and
                  Pablo Arrighi and
                  Prakash Panangaden},
  title        = {Well-tempered {ZX} and {ZH} Calculi},
  booktitle    = {Proceedings 17th International Conference on Quantum Physics and Logic,
                  {QPL} 2020, Paris, France, June 2 - 6, 2020},
  series       = {{EPTCS}},
  volume       = {340},
  pages        = {13--45},
  year         = {2020},
  url          = {https://doi.org/10.4204/EPTCS.340.2},
  doi          = {10.4204/EPTCS.340.2},
  timestamp    = {Tue, 24 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2006-02557.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2109-02196,
  author       = {Andre Kornell and
                  Bert Lindenhovius and
                  Michael W. Mislove},
  editor       = {Beno{\^{\i}}t Valiron and
                  Shane Mansfield and
                  Pablo Arrighi and
                  Prakash Panangaden},
  title        = {Quantum CPOs},
  booktitle    = {Proceedings 17th International Conference on Quantum Physics and Logic,
                  {QPL} 2020, Paris, France, June 2 - 6, 2020},
  series       = {{EPTCS}},
  volume       = {340},
  pages        = {174--187},
  year         = {2020},
  url          = {https://doi.org/10.4204/EPTCS.340.9},
  doi          = {10.4204/EPTCS.340.9},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2109-02196.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2109-02197,
  author       = {Robert Rand and
                  Aarthi Sundaram and
                  Kartik Singhal and
                  Brad Lackey},
  editor       = {Beno{\^{\i}}t Valiron and
                  Shane Mansfield and
                  Pablo Arrighi and
                  Prakash Panangaden},
  title        = {Gottesman Types for Quantum Programs},
  booktitle    = {Proceedings 17th International Conference on Quantum Physics and Logic,
                  {QPL} 2020, Paris, France, June 2 - 6, 2020},
  series       = {{EPTCS}},
  volume       = {340},
  pages        = {279--290},
  year         = {2020},
  url          = {https://doi.org/10.4204/EPTCS.340.14},
  doi          = {10.4204/EPTCS.340.14},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2109-02197.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2109-02198,
  author       = {Kartik Singhal and
                  John H. Reppy},
  editor       = {Beno{\^{\i}}t Valiron and
                  Shane Mansfield and
                  Pablo Arrighi and
                  Prakash Panangaden},
  title        = {Quantum Hoare Type Theory: Extended Abstract},
  booktitle    = {Proceedings 17th International Conference on Quantum Physics and Logic,
                  {QPL} 2020, Paris, France, June 2 - 6, 2020},
  series       = {{EPTCS}},
  volume       = {340},
  pages        = {291--302},
  year         = {2020},
  url          = {https://doi.org/10.4204/EPTCS.340.15},
  doi          = {10.4204/EPTCS.340.15},
  timestamp    = {Thu, 25 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2109-02198.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.