default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/series/eptcs/eptcs172.bht:"
download as .bib file
@inproceedings{DBLP:journals/corr/Adams14,
author = {Robin Adams},
editor = {Bob Coecke and
Ichiro Hasuo and
Prakash Panangaden},
title = {{QPEL:} Quantum Program and Effect Language},
booktitle = {Proceedings of the 11th workshop on Quantum Physics and Logic, {QPL}
2014, Kyoto, Japan, 4-6th June 2014},
series = {{EPTCS}},
volume = {172},
pages = {133--153},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.172.10},
doi = {10.4204/EPTCS.172.10},
timestamp = {Thu, 14 Oct 2021 09:15:50 +0200},
biburl = {https://dblp.org/rec/journals/corr/Adams14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Atzemoglou14,
author = {George Philip Atzemoglou},
editor = {Bob Coecke and
Ichiro Hasuo and
Prakash Panangaden},
title = {The dagger lambda calculus},
booktitle = {Proceedings of the 11th workshop on Quantum Physics and Logic, {QPL}
2014, Kyoto, Japan, 4-6th June 2014},
series = {{EPTCS}},
volume = {172},
pages = {217--235},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.172.15},
doi = {10.4204/EPTCS.172.15},
timestamp = {Thu, 19 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Atzemoglou14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/BarV14a,
author = {Krzysztof Bar and
Jamie Vicary},
editor = {Bob Coecke and
Ichiro Hasuo and
Prakash Panangaden},
title = {A 2-Categorical Analysis of Complementary Families, Quantum Key Distribution
and the Mean King Problem},
booktitle = {Proceedings of the 11th workshop on Quantum Physics and Logic, {QPL}
2014, Kyoto, Japan, 4-6th June 2014},
series = {{EPTCS}},
volume = {172},
pages = {316--332},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.172.23},
doi = {10.4204/EPTCS.172.23},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BarV14a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Barbosa14,
author = {Rui Soares Barbosa},
editor = {Bob Coecke and
Ichiro Hasuo and
Prakash Panangaden},
title = {On monogamy of non-locality and macroscopic averages: examples and
preliminary results},
booktitle = {Proceedings of the 11th workshop on Quantum Physics and Logic, {QPL}
2014, Kyoto, Japan, 4-6th June 2014},
series = {{EPTCS}},
volume = {172},
pages = {36--55},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.172.4},
doi = {10.4204/EPTCS.172.4},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Barbosa14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Chiribella14a,
author = {Giulio Chiribella},
editor = {Bob Coecke and
Ichiro Hasuo and
Prakash Panangaden},
title = {Dilation of states and processes in operational-probabilistic theories},
booktitle = {Proceedings of the 11th workshop on Quantum Physics and Logic, {QPL}
2014, Kyoto, Japan, 4-6th June 2014},
series = {{EPTCS}},
volume = {172},
pages = {1--14},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.172.1},
doi = {10.4204/EPTCS.172.1},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Chiribella14a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Cho14c,
author = {Kenta Cho},
editor = {Bob Coecke and
Ichiro Hasuo and
Prakash Panangaden},
title = {Semantics for a Quantum Programming Language by Operator Algebras},
booktitle = {Proceedings of the 11th workshop on Quantum Physics and Logic, {QPL}
2014, Kyoto, Japan, 4-6th June 2014},
series = {{EPTCS}},
volume = {172},
pages = {165--190},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.172.12},
doi = {10.4204/EPTCS.172.12},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Cho14c.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Coecke14,
author = {Bob Coecke},
editor = {Bob Coecke and
Ichiro Hasuo and
Prakash Panangaden},
title = {Terminality implies non-signalling},
booktitle = {Proceedings of the 11th workshop on Quantum Physics and Logic, {QPL}
2014, Kyoto, Japan, 4-6th June 2014},
series = {{EPTCS}},
volume = {172},
pages = {27--35},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.172.3},
doi = {10.4204/EPTCS.172.3},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Coecke14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Delpeuch14,
author = {Antonin Delpeuch},
editor = {Bob Coecke and
Ichiro Hasuo and
Prakash Panangaden},
title = {Complexity of Grammar Induction for Quantum Types},
booktitle = {Proceedings of the 11th workshop on Quantum Physics and Logic, {QPL}
2014, Kyoto, Japan, 4-6th June 2014},
series = {{EPTCS}},
volume = {172},
pages = {236--248},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.172.16},
doi = {10.4204/EPTCS.172.16},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/Delpeuch14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/HeunenVW14,
author = {Chris Heunen and
Jamie Vicary and
Linde Wester},
editor = {Bob Coecke and
Ichiro Hasuo and
Prakash Panangaden},
title = {Mixed quantum states in higher categories},
booktitle = {Proceedings of the 11th workshop on Quantum Physics and Logic, {QPL}
2014, Kyoto, Japan, 4-6th June 2014},
series = {{EPTCS}},
volume = {172},
pages = {304--315},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.172.22},
doi = {10.4204/EPTCS.172.22},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/HeunenVW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/KartsaklisS14,
author = {Dimitri Kartsaklis and
Mehrnoosh Sadrzadeh},
editor = {Bob Coecke and
Ichiro Hasuo and
Prakash Panangaden},
title = {A Study of Entanglement in a Categorical Framework of Natural Language},
booktitle = {Proceedings of the 11th workshop on Quantum Physics and Logic, {QPL}
2014, Kyoto, Japan, 4-6th June 2014},
series = {{EPTCS}},
volume = {172},
pages = {249--261},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.172.17},
doi = {10.4204/EPTCS.172.17},
timestamp = {Thu, 23 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/KartsaklisS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Kishida14,
author = {Kohei Kishida},
editor = {Bob Coecke and
Ichiro Hasuo and
Prakash Panangaden},
title = {Stochastic Relational Presheaves and Dynamic Logic for Contextuality},
booktitle = {Proceedings of the 11th workshop on Quantum Physics and Logic, {QPL}
2014, Kyoto, Japan, 4-6th June 2014},
series = {{EPTCS}},
volume = {172},
pages = {115--132},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.172.9},
doi = {10.4204/EPTCS.172.9},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Kishida14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/KissingerQ14,
author = {Aleks Kissinger and
David Quick},
editor = {Bob Coecke and
Ichiro Hasuo and
Prakash Panangaden},
title = {Tensors, !-graphs, and non-commutative quantum structures},
booktitle = {Proceedings of the 11th workshop on Quantum Physics and Logic, {QPL}
2014, Kyoto, Japan, 4-6th June 2014},
series = {{EPTCS}},
volume = {172},
pages = {56--67},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.172.5},
doi = {10.4204/EPTCS.172.5},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/KissingerQ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Ozawa14,
author = {Masanao Ozawa},
editor = {Bob Coecke and
Ichiro Hasuo and
Prakash Panangaden},
title = {Quantum Set Theory Extending the Standard Probabilistic Interpretation
of Quantum Theory (Extended Abstract)},
booktitle = {Proceedings of the 11th workshop on Quantum Physics and Logic, {QPL}
2014, Kyoto, Japan, 4-6th June 2014},
series = {{EPTCS}},
volume = {172},
pages = {15--26},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.172.2},
doi = {10.4204/EPTCS.172.2},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Ozawa14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Takisaka14,
author = {Toru Takisaka},
editor = {Bob Coecke and
Ichiro Hasuo and
Prakash Panangaden},
title = {On G{\'{a}}cs' quantum algorithmic entropy},
booktitle = {Proceedings of the 11th workshop on Quantum Physics and Logic, {QPL}
2014, Kyoto, Japan, 4-6th June 2014},
series = {{EPTCS}},
volume = {172},
pages = {204--216},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.172.14},
doi = {10.4204/EPTCS.172.14},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/Takisaka14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/UijlenW14,
author = {Sander Uijlen and
Bas Westerbaan},
editor = {Bob Coecke and
Ichiro Hasuo and
Prakash Panangaden},
title = {A Kochen-Specker system has at least 22 vectors (extended abstract)},
booktitle = {Proceedings of the 11th workshop on Quantum Physics and Logic, {QPL}
2014, Kyoto, Japan, 4-6th June 2014},
series = {{EPTCS}},
volume = {172},
pages = {154--164},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.172.11},
doi = {10.4204/EPTCS.172.11},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/UijlenW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/WittZ14,
author = {Christian Schr{\"{o}}der de Witt and
Vladimir Zamdzhiev},
editor = {Bob Coecke and
Ichiro Hasuo and
Prakash Panangaden},
title = {The {ZX} calculus is incomplete for quantum mechanics},
booktitle = {Proceedings of the 11th workshop on Quantum Physics and Logic, {QPL}
2014, Kyoto, Japan, 4-6th June 2014},
series = {{EPTCS}},
volume = {172},
pages = {285--292},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.172.20},
doi = {10.4204/EPTCS.172.20},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/WittZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/YasudaKK14,
author = {Kazuya Yasuda and
Takahiro Kubota and
Yoshihiko Kakutani},
editor = {Bob Coecke and
Ichiro Hasuo and
Prakash Panangaden},
title = {Observational Equivalence Using Schedulers for Quantum Processes},
booktitle = {Proceedings of the 11th workshop on Quantum Physics and Logic, {QPL}
2014, Kyoto, Japan, 4-6th June 2014},
series = {{EPTCS}},
volume = {172},
pages = {191--203},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.172.13},
doi = {10.4204/EPTCS.172.13},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/YasudaKK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/ZengV14,
author = {W. J. Zeng and
Jamie Vicary},
editor = {Bob Coecke and
Ichiro Hasuo and
Prakash Panangaden},
title = {Abstract structure of unitary oracles for quantum algorithms},
booktitle = {Proceedings of the 11th workshop on Quantum Physics and Logic, {QPL}
2014, Kyoto, Japan, 4-6th June 2014},
series = {{EPTCS}},
volume = {172},
pages = {270--284},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.172.19},
doi = {10.4204/EPTCS.172.19},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/ZengV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1404-1288,
author = {Andr{\'{e}} Ranchin},
editor = {Bob Coecke and
Ichiro Hasuo and
Prakash Panangaden},
title = {Depicting qudit quantum mechanics and mutually unbiased qudit theories},
booktitle = {Proceedings of the 11th workshop on Quantum Physics and Logic, {QPL}
2014, Kyoto, Japan, 4-6th June 2014},
series = {{EPTCS}},
volume = {172},
pages = {68--91},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.172.6},
doi = {10.4204/EPTCS.172.6},
timestamp = {Tue, 24 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1404-1288.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1405-2618,
author = {Jason Morton},
editor = {Bob Coecke and
Ichiro Hasuo and
Prakash Panangaden},
title = {Belief propagation in monoidal categories},
booktitle = {Proceedings of the 11th workshop on Quantum Physics and Logic, {QPL}
2014, Kyoto, Japan, 4-6th June 2014},
series = {{EPTCS}},
volume = {172},
pages = {262--269},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.172.18},
doi = {10.4204/EPTCS.172.18},
timestamp = {Tue, 24 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1405-2618.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1406-3056,
author = {Quanlong Wang and
Xiaoning Bian},
editor = {Bob Coecke and
Ichiro Hasuo and
Prakash Panangaden},
title = {Qutrit Dichromatic Calculus and Its Universality},
booktitle = {Proceedings of the 11th workshop on Quantum Physics and Logic, {QPL}
2014, Kyoto, Japan, 4-6th June 2014},
series = {{EPTCS}},
volume = {172},
pages = {92--101},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.172.7},
doi = {10.4204/EPTCS.172.7},
timestamp = {Tue, 24 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1406-3056.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1412-8549,
author = {Shane Mansfield},
editor = {Bob Coecke and
Ichiro Hasuo and
Prakash Panangaden},
title = {Reflections on the {PBR} Theorem: Reality Criteria {\&} Preparation
Independence},
booktitle = {Proceedings of the 11th workshop on Quantum Physics and Logic, {QPL}
2014, Kyoto, Japan, 4-6th June 2014},
series = {{EPTCS}},
volume = {172},
pages = {102--114},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.172.8},
doi = {10.4204/EPTCS.172.8},
timestamp = {Sat, 28 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1412-8549.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1412-8553,
author = {Miriam Backens},
editor = {Bob Coecke and
Ichiro Hasuo and
Prakash Panangaden},
title = {The ZX-calculus is complete for the single-qubit Clifford+T group},
booktitle = {Proceedings of the 11th workshop on Quantum Physics and Logic, {QPL}
2014, Kyoto, Japan, 4-6th June 2014},
series = {{EPTCS}},
volume = {172},
pages = {293--303},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.172.21},
doi = {10.4204/EPTCS.172.21},
timestamp = {Sat, 28 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1412-8553.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/CoeckeHP14,
editor = {Bob Coecke and
Ichiro Hasuo and
Prakash Panangaden},
title = {Proceedings of the 11th workshop on Quantum Physics and Logic, {QPL}
2014, Kyoto, Japan, 4-6th June 2014},
series = {{EPTCS}},
volume = {172},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.172},
doi = {10.4204/EPTCS.172},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CoeckeHP14.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.
retrieved on 2024-12-02 00:01 CET from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
