default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/series/eptcs/eptcs195.bht:"
download as .bib file
@inproceedings{DBLP:journals/corr/AbramskyH15,
author = {Samson Abramsky and
Dominic Horsman},
editor = {Chris Heunen and
Peter Selinger and
Jamie Vicary},
title = {{DEMONIC} programming: a computational language for single-particle
equilibrium thermodynamics, and its formal semantics},
booktitle = {Proceedings 12th International Workshop on Quantum Physics and Logic,
{QPL} 2015, Oxford, UK, July 15-17, 2015},
series = {{EPTCS}},
volume = {195},
pages = {1--16},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.195.1},
doi = {10.4204/EPTCS.195.1},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/AbramskyH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/BadescuP15,
author = {Costin Badescu and
Prakash Panangaden},
editor = {Chris Heunen and
Peter Selinger and
Jamie Vicary},
title = {Quantum Alternation: Prospects and Problems},
booktitle = {Proceedings 12th International Workshop on Quantum Physics and Logic,
{QPL} 2015, Oxford, UK, July 15-17, 2015},
series = {{EPTCS}},
volume = {195},
pages = {33--42},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.195.3},
doi = {10.4204/EPTCS.195.3},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BadescuP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/BoenderKN15,
author = {Jaap Boender and
Florian Kamm{\"{u}}ller and
Rajagopal Nagarajan},
editor = {Chris Heunen and
Peter Selinger and
Jamie Vicary},
title = {Formalization of Quantum Protocols using Coq},
booktitle = {Proceedings 12th International Workshop on Quantum Physics and Logic,
{QPL} 2015, Oxford, UK, July 15-17, 2015},
series = {{EPTCS}},
volume = {195},
pages = {71--83},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.195.6},
doi = {10.4204/EPTCS.195.6},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BoenderKN15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Brunet15,
author = {Olivier Brunet},
editor = {Chris Heunen and
Peter Selinger and
Jamie Vicary},
title = {A Logic of Quantum Measurement},
booktitle = {Proceedings 12th International Workshop on Quantum Physics and Logic,
{QPL} 2015, Oxford, UK, July 15-17, 2015},
series = {{EPTCS}},
volume = {195},
pages = {84--95},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.195.7},
doi = {10.4204/EPTCS.195.7},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Brunet15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/ChiribellaS15,
author = {Giulio Chiribella and
Carlo Maria Scandolo},
editor = {Chris Heunen and
Peter Selinger and
Jamie Vicary},
title = {Operational axioms for diagonalizing states},
booktitle = {Proceedings 12th International Workshop on Quantum Physics and Logic,
{QPL} 2015, Oxford, UK, July 15-17, 2015},
series = {{EPTCS}},
volume = {195},
pages = {96--115},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.195.8},
doi = {10.4204/EPTCS.195.8},
timestamp = {Sat, 28 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/ChiribellaS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Cho0WW15,
author = {Kenta Cho and
Bart Jacobs and
Bas Westerbaan and
Bram Westerbaan},
editor = {Chris Heunen and
Peter Selinger and
Jamie Vicary},
title = {Quotient-Comprehension Chains},
booktitle = {Proceedings 12th International Workshop on Quantum Physics and Logic,
{QPL} 2015, Oxford, UK, July 15-17, 2015},
series = {{EPTCS}},
volume = {195},
pages = {136--147},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.195.10},
doi = {10.4204/EPTCS.195.10},
timestamp = {Sat, 28 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Cho0WW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Cho15,
author = {Kenta Cho},
editor = {Chris Heunen and
Peter Selinger and
Jamie Vicary},
title = {Total and Partial Computation in Categorical Quantum Foundations},
booktitle = {Proceedings 12th International Workshop on Quantum Physics and Logic,
{QPL} 2015, Oxford, UK, July 15-17, 2015},
series = {{EPTCS}},
volume = {195},
pages = {116--135},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.195.9},
doi = {10.4204/EPTCS.195.9},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Cho15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/CunninghamH15,
author = {Oscar Cunningham and
Chris Heunen},
editor = {Chris Heunen and
Peter Selinger and
Jamie Vicary},
title = {Axiomatizing complete positivity},
booktitle = {Proceedings 12th International Workshop on Quantum Physics and Logic,
{QPL} 2015, Oxford, UK, July 15-17, 2015},
series = {{EPTCS}},
volume = {195},
pages = {148--157},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.195.11},
doi = {10.4204/EPTCS.195.11},
timestamp = {Tue, 24 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CunninghamH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/FongN15,
author = {Brendan Fong and
Hugo Nava{-}Kopp},
editor = {Chris Heunen and
Peter Selinger and
Jamie Vicary},
title = {Additive monotones for resource theories of parallel-combinable processes
with discarding},
booktitle = {Proceedings 12th International Workshop on Quantum Physics and Logic,
{QPL} 2015, Oxford, UK, July 15-17, 2015},
series = {{EPTCS}},
volume = {195},
pages = {170--178},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.195.13},
doi = {10.4204/EPTCS.195.13},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/FongN15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Furber013,
author = {Robert Furber and
Bart Jacobs},
editor = {Chris Heunen and
Peter Selinger and
Jamie Vicary},
title = {Towards a Categorical Account of Conditional Probability},
booktitle = {Proceedings 12th International Workshop on Quantum Physics and Logic,
{QPL} 2015, Oxford, UK, July 15-17, 2015},
series = {{EPTCS}},
volume = {195},
pages = {179--195},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.195.14},
doi = {10.4204/EPTCS.195.14},
timestamp = {Sat, 28 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Furber013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Gogioso15b,
author = {Stefano Gogioso},
editor = {Chris Heunen and
Peter Selinger and
Jamie Vicary},
title = {A Bestiary of Sets and Relations},
booktitle = {Proceedings 12th International Workshop on Quantum Physics and Logic,
{QPL} 2015, Oxford, UK, July 15-17, 2015},
series = {{EPTCS}},
volume = {195},
pages = {208--227},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.195.16},
doi = {10.4204/EPTCS.195.16},
timestamp = {Tue, 24 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Gogioso15b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/HeunenT15,
author = {Chris Heunen and
Sean Tull},
editor = {Chris Heunen and
Peter Selinger and
Jamie Vicary},
title = {Categories of relations as models of quantum theory},
booktitle = {Proceedings 12th International Workshop on Quantum Physics and Logic,
{QPL} 2015, Oxford, UK, July 15-17, 2015},
series = {{EPTCS}},
volume = {195},
pages = {247--261},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.195.18},
doi = {10.4204/EPTCS.195.18},
timestamp = {Tue, 24 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/HeunenT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Honda15a,
author = {Kentaro Honda},
editor = {Chris Heunen and
Peter Selinger and
Jamie Vicary},
title = {Analysis of Quantum Entanglement in Quantum Programs using Stabilizer
Formalism},
booktitle = {Proceedings 12th International Workshop on Quantum Physics and Logic,
{QPL} 2015, Oxford, UK, July 15-17, 2015},
series = {{EPTCS}},
volume = {195},
pages = {262--272},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.195.19},
doi = {10.4204/EPTCS.195.19},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Honda15a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Marsden15,
author = {Daniel Marsden},
editor = {Chris Heunen and
Peter Selinger and
Jamie Vicary},
title = {A Graph Theoretic Perspective on CPM(Rel)},
booktitle = {Proceedings 12th International Workshop on Quantum Physics and Logic,
{QPL} 2015, Oxford, UK, July 15-17, 2015},
series = {{EPTCS}},
volume = {195},
pages = {273--284},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.195.20},
doi = {10.4204/EPTCS.195.20},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Marsden15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Quick15,
author = {David Quick},
editor = {Chris Heunen and
Peter Selinger and
Jamie Vicary},
title = {Encoding !-tensors as !-graphs with neighbourhood orders},
booktitle = {Proceedings 12th International Workshop on Quantum Physics and Logic,
{QPL} 2015, Oxford, UK, July 15-17, 2015},
series = {{EPTCS}},
volume = {195},
pages = {307--320},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.195.23},
doi = {10.4204/EPTCS.195.23},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Quick15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1409-1020,
author = {Robert Furber and
Bas Westerbaan},
editor = {Chris Heunen and
Peter Selinger and
Jamie Vicary},
title = {Unordered Tuples in Quantum Computation},
booktitle = {Proceedings 12th International Workshop on Quantum Physics and Logic,
{QPL} 2015, Oxford, UK, July 15-17, 2015},
series = {{EPTCS}},
volume = {195},
pages = {196--207},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.195.15},
doi = {10.4204/EPTCS.195.15},
timestamp = {Sat, 28 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1409-1020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1506-02675,
author = {Stefano Gogioso and
William Zeng},
editor = {Chris Heunen and
Peter Selinger and
Jamie Vicary},
title = {Mermin Non-Locality in Abstract Process Theories},
booktitle = {Proceedings 12th International Workshop on Quantum Physics and Logic,
{QPL} 2015, Oxford, UK, July 15-17, 2015},
series = {{EPTCS}},
volume = {195},
pages = {228--246},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.195.17},
doi = {10.4204/EPTCS.195.17},
timestamp = {Tue, 24 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1506-02675.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1506-07850,
author = {Matthew F. Pusey and
Matthew S. Leifer},
editor = {Chris Heunen and
Peter Selinger and
Jamie Vicary},
title = {Logical pre- and post-selection paradoxes are proofs of contextuality},
booktitle = {Proceedings 12th International Workshop on Quantum Physics and Logic,
{QPL} 2015, Oxford, UK, July 15-17, 2015},
series = {{EPTCS}},
volume = {195},
pages = {295--306},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.195.22},
doi = {10.4204/EPTCS.195.22},
timestamp = {Sat, 28 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1506-07850.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1507-02117,
author = {Tim N. Palmer},
editor = {Chris Heunen and
Peter Selinger and
Jamie Vicary},
title = {Invariant Set Theory: Violating Measurement Independence without Fine
Tuning, Conspiracy, Constraints on Free Will or Retrocausality},
booktitle = {Proceedings 12th International Workshop on Quantum Physics and Logic,
{QPL} 2015, Oxford, UK, July 15-17, 2015},
series = {{EPTCS}},
volume = {195},
pages = {285--294},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.195.21},
doi = {10.4204/EPTCS.195.21},
timestamp = {Sat, 28 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1507-02117.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1507-03854,
author = {Miriam Backens},
editor = {Chris Heunen and
Peter Selinger and
Jamie Vicary},
title = {Making the stabilizer ZX-calculus complete for scalars},
booktitle = {Proceedings 12th International Workshop on Quantum Physics and Logic,
{QPL} 2015, Oxford, UK, July 15-17, 2015},
series = {{EPTCS}},
volume = {195},
pages = {17--32},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.195.2},
doi = {10.4204/EPTCS.195.2},
timestamp = {Sat, 28 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1507-03854.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1507-06278,
author = {Howard Barnum and
Matthew A. Graydon and
Alexander Wilce},
editor = {Chris Heunen and
Peter Selinger and
Jamie Vicary},
title = {Some Nearly Quantum Theories},
booktitle = {Proceedings 12th International Workshop on Quantum Physics and Logic,
{QPL} 2015, Oxford, UK, July 15-17, 2015},
series = {{EPTCS}},
volume = {195},
pages = {59--70},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.195.5},
doi = {10.4204/EPTCS.195.5},
timestamp = {Sat, 28 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1507-06278.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1508-03107,
author = {Howard Barnum and
Jonathan Barrett and
Marius Krumm and
Markus P. M{\"{u}}ller},
editor = {Chris Heunen and
Peter Selinger and
Jamie Vicary},
title = {Entropy, majorization and thermodynamics in general probabilistic
theories},
booktitle = {Proceedings 12th International Workshop on Quantum Physics and Logic,
{QPL} 2015, Oxford, UK, July 15-17, 2015},
series = {{EPTCS}},
volume = {195},
pages = {43--58},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.195.4},
doi = {10.4204/EPTCS.195.4},
timestamp = {Sat, 28 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1508-03107.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1511-01571,
author = {Benjamin Eva},
editor = {Chris Heunen and
Peter Selinger and
Jamie Vicary},
title = {Towards a Paraconsistent Quantum Set Theory},
booktitle = {Proceedings 12th International Workshop on Quantum Physics and Logic,
{QPL} 2015, Oxford, UK, July 15-17, 2015},
series = {{EPTCS}},
volume = {195},
pages = {158--169},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.195.12},
doi = {10.4204/EPTCS.195.12},
timestamp = {Tue, 24 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1511-01571.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/HeunenSV15,
editor = {Chris Heunen and
Peter Selinger and
Jamie Vicary},
title = {Proceedings 12th International Workshop on Quantum Physics and Logic,
{QPL} 2015, Oxford, UK, July 15-17, 2015},
series = {{EPTCS}},
volume = {195},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.195},
doi = {10.4204/EPTCS.195},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/HeunenSV15.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-11-08 12:18 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:
