![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
12th QPL 2015: Oxford, UK
- 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 - Samson Abramsky
, Dominic Horsman
:
DEMONIC programming: a computational language for single-particle equilibrium thermodynamics, and its formal semantics. 1-16 - Miriam Backens
:
Making the stabilizer ZX-calculus complete for scalars. 17-32 - Costin Badescu, Prakash Panangaden:
Quantum Alternation: Prospects and Problems. 33-42 - Howard Barnum
, Jonathan Barrett
, Marius Krumm, Markus P. Müller:
Entropy, majorization and thermodynamics in general probabilistic theories. 43-58 - Howard Barnum
, Matthew A. Graydon, Alexander Wilce:
Some Nearly Quantum Theories. 59-70 - Jaap Boender, Florian Kammüller, Rajagopal Nagarajan:
Formalization of Quantum Protocols using Coq. 71-83 - Olivier Brunet:
A Logic of Quantum Measurement. 84-95 - Giulio Chiribella, Carlo Maria Scandolo
:
Operational axioms for diagonalizing states. 96-115 - Kenta Cho:
Total and Partial Computation in Categorical Quantum Foundations. 116-135 - Kenta Cho, Bart Jacobs, Bas Westerbaan
, Bram Westerbaan:
Quotient-Comprehension Chains. 136-147 - Oscar Cunningham, Chris Heunen:
Axiomatizing complete positivity. 148-157 - Benjamin Eva:
Towards a Paraconsistent Quantum Set Theory. 158-169 - Brendan Fong, Hugo Nava-Kopp:
Additive monotones for resource theories of parallel-combinable processes with discarding. 170-178 - Robert Furber
, Bart Jacobs:
Towards a Categorical Account of Conditional Probability. 179-195 - Robert Furber
, Bas Westerbaan
:
Unordered Tuples in Quantum Computation. 196-207 - Stefano Gogioso
:
A Bestiary of Sets and Relations. 208-227 - Stefano Gogioso, William Zeng:
Mermin Non-Locality in Abstract Process Theories. 228-246 - Chris Heunen, Sean Tull:
Categories of relations as models of quantum theory. 247-261 - Kentaro Honda:
Analysis of Quantum Entanglement in Quantum Programs using Stabilizer Formalism. 262-272 - Daniel Marsden:
A Graph Theoretic Perspective on CPM(Rel). 273-284 - Tim N. Palmer
:
Invariant Set Theory: Violating Measurement Independence without Fine Tuning, Conspiracy, Constraints on Free Will or Retrocausality. 285-294 - Matthew F. Pusey
, Matthew S. Leifer:
Logical pre- and post-selection paradoxes are proofs of contextuality. 295-306 - David Quick:
Encoding !-tensors as !-graphs with neighbourhood orders. 307-320
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.