default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID11th QPL 2014: Kyoto, Japan
- Bob Coecke, Ichiro Hasuo
, Prakash Panangaden:
Proceedings of the 11th workshop on Quantum Physics and Logic, QPL 2014, Kyoto, Japan, 4-6th June 2014. EPTCS 172, 2014 - Giulio Chiribella:
Dilation of states and processes in operational-probabilistic theories. 1-14 - Masanao Ozawa:
Quantum Set Theory Extending the Standard Probabilistic Interpretation of Quantum Theory (Extended Abstract). 15-26 - Bob Coecke:
Terminality implies non-signalling. 27-35 - Rui Soares Barbosa:
On monogamy of non-locality and macroscopic averages: examples and preliminary results. 36-55 - Aleks Kissinger, David Quick:
Tensors, !-graphs, and non-commutative quantum structures. 56-67 - André Ranchin:
Depicting qudit quantum mechanics and mutually unbiased qudit theories. 68-91 - Quanlong Wang, Xiaoning Bian:
Qutrit Dichromatic Calculus and Its Universality. 92-101 - Shane Mansfield:
Reflections on the PBR Theorem: Reality Criteria & Preparation Independence. 102-114 - Kohei Kishida:
Stochastic Relational Presheaves and Dynamic Logic for Contextuality. 115-132 - Robin Adams:
QPEL: Quantum Program and Effect Language. 133-153 - Sander Uijlen, Bas Westerbaan:
A Kochen-Specker system has at least 22 vectors (extended abstract). 154-164 - Kenta Cho:
Semantics for a Quantum Programming Language by Operator Algebras. 165-190 - Kazuya Yasuda, Takahiro Kubota, Yoshihiko Kakutani:
Observational Equivalence Using Schedulers for Quantum Processes. 191-203 - Toru Takisaka:
On Gács' quantum algorithmic entropy. 204-216 - George Philip Atzemoglou:
The dagger lambda calculus. 217-235 - Antonin Delpeuch:
Complexity of Grammar Induction for Quantum Types. 236-248 - Dimitri Kartsaklis, Mehrnoosh Sadrzadeh:
A Study of Entanglement in a Categorical Framework of Natural Language. 249-261 - Jason Morton:
Belief propagation in monoidal categories. 262-269 - W. J. Zeng, Jamie Vicary:
Abstract structure of unitary oracles for quantum algorithms. 270-284 - Christian Schröder de Witt, Vladimir Zamdzhiev:
The ZX calculus is incomplete for quantum mechanics. 285-292 - Miriam Backens:
The ZX-calculus is complete for the single-qubit Clifford+T group. 293-303 - Chris Heunen, Jamie Vicary, Linde Wester:
Mixed quantum states in higher categories. 304-315 - Krzysztof Bar, Jamie Vicary:
A 2-Categorical Analysis of Complementary Families, Quantum Key Distribution and the Mean King Problem. 316-332
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.
last updated on 2026-06-19 00:08 CEST 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:
