default search action

combined dblp search
author search
venue search
publication search

ask others

12th QPL 2015: Oxford, UK

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

> Home > Conferences and Workshops > QPL

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - journals/corr/HeunenSV15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/HeunenSV15
Chris Heunen, Peter Selinger, Jamie Vicary:
Proceedings 12th International Workshop on Quantum Physics and Logic, QPL 2015, Oxford, UK, July 15-17, 2015. EPTCS 195, 2015
- view
  authority control:
- export record
  dblp key:
  - journals/corr/AbramskyH15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/AbramskyH15
Samson Abramsky, Dominic Horsman:
DEMONIC programming: a computational language for single-particle equilibrium thermodynamics, and its formal semantics. 1-16
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1507-03854
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1507-03854
Miriam Backens:
Making the stabilizer ZX-calculus complete for scalars. 17-32
- view
  authority control:
- export record
  dblp key:
  - journals/corr/BadescuP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BadescuP15
Costin Badescu, Prakash Panangaden:
Quantum Alternation: Prospects and Problems. 33-42
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1508-03107
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1508-03107
Howard Barnum, Jonathan Barrett, Marius Krumm, Markus P. Müller:
Entropy, majorization and thermodynamics in general probabilistic theories. 43-58
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1507-06278
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1507-06278
Howard Barnum, Matthew A. Graydon, Alexander Wilce:
Some Nearly Quantum Theories. 59-70
- view
  authority control:
- export record
  dblp key:
  - journals/corr/BoenderKN15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BoenderKN15
Jaap Boender, Florian Kammüller, Rajagopal Nagarajan:
Formalization of Quantum Protocols using Coq. 71-83
- view
  authority control:
- export record
  dblp key:
  - journals/corr/Brunet15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Brunet15
Olivier Brunet:
A Logic of Quantum Measurement. 84-95
- view
  authority control:
- export record
  dblp key:
  - journals/corr/ChiribellaS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/ChiribellaS15
Giulio Chiribella, Carlo Maria Scandolo:
Operational axioms for diagonalizing states. 96-115
- view
  authority control:
- export record
  dblp key:
  - journals/corr/Cho15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Cho15
Kenta Cho:
Total and Partial Computation in Categorical Quantum Foundations. 116-135
- view
  authority control:
- export record
  dblp key:
  - journals/corr/Cho0WW15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Cho0WW15
Kenta Cho, Bart Jacobs, Bas Westerbaan, Bram Westerbaan:
Quotient-Comprehension Chains. 136-147
- view
  authority control:
- export record
  dblp key:
  - journals/corr/CunninghamH15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/CunninghamH15
Oscar Cunningham, Chris Heunen:
Axiomatizing complete positivity. 148-157
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1511-01571
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1511-01571
Benjamin Eva:
Towards a Paraconsistent Quantum Set Theory. 158-169
- view
  authority control:
- export record
  dblp key:
  - journals/corr/FongN15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/FongN15
Brendan Fong, Hugo Nava-Kopp:
Additive monotones for resource theories of parallel-combinable processes with discarding. 170-178
- view
  authority control:
- export record
  dblp key:
  - journals/corr/Furber013
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Furber013
Robert Furber, Bart Jacobs:
Towards a Categorical Account of Conditional Probability. 179-195
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1409-1020
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1409-1020
Robert Furber, Bas Westerbaan:
Unordered Tuples in Quantum Computation. 196-207
- view
  authority control:
- export record
  dblp key:
  - journals/corr/Gogioso15b
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Gogioso15b
Stefano Gogioso:
A Bestiary of Sets and Relations. 208-227
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1506-02675
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1506-02675
Stefano Gogioso, William Zeng:
Mermin Non-Locality in Abstract Process Theories. 228-246
- view
  authority control:
- export record
  dblp key:
  - journals/corr/HeunenT15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/HeunenT15
Chris Heunen, Sean Tull:
Categories of relations as models of quantum theory. 247-261
- view
  authority control:
- export record
  dblp key:
  - journals/corr/Honda15a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Honda15a
Kentaro Honda:
Analysis of Quantum Entanglement in Quantum Programs using Stabilizer Formalism. 262-272
- view
  authority control:
- export record
  dblp key:
  - journals/corr/Marsden15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Marsden15
Daniel Marsden:
A Graph Theoretic Perspective on CPM(Rel). 273-284
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1507-02117
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1507-02117
Tim N. Palmer:
Invariant Set Theory: Violating Measurement Independence without Fine Tuning, Conspiracy, Constraints on Free Will or Retrocausality. 285-294
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1506-07850
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1506-07850
Matthew F. Pusey, Matthew S. Leifer:
Logical pre- and post-selection paradoxes are proofs of contextuality. 295-306
- view
  authority control:
- export record
  dblp key:
  - journals/corr/Quick15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Quick15
David Quick:
Encoding !-tensors as !-graphs with neighbourhood orders. 307-320

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.