default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID14th QPL 2017: Nijmegen, The Netherlands
- Bob Coecke, Aleks Kissinger:
Proceedings 14th International Conference on Quantum Physics and Logic, QPL 2017, Nijmegen, The Netherlands, 3-7 July 2017. EPTCS 266, 2018 - Linde Wester:
Almost Equivalent Paradigms of Contextuality. 1-22 - Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart:
Y-Calculus: A language for real Matrices derived from the ZX-Calculus. 23-57 - Quanlong Wang:
Qutrit ZX-calculus is Complete for Stabilizer Quantum Mechanics. 58-70 - Dan R. Ghica, Aliaume Lopez
:
A structural and nominal syntax for diagrams. 71-83 - Matthew Amy, Jianxin Chen, Neil J. Ross:
A finite presentation of CNOT-dihedral operators. 84-97 - Andreas Blass, Yuri Gurevich:
Common Denominator for Value and Expectation No-go Theorems: Extended Abstract. 98-103 - Bob Coecke, John H. Selby, Sean Tull:
Two Roads to Classicality. 104-118 - Robert Rand, Jennifer Paykin, Steve Zdancewic:
QWIRE Practice: Formal Verification of Quantum Circuits in Coq. 119-132 - Maaike Zwart, Bob Coecke:
Double Dilation ≠ Double Mixing (extended abstract). 133-146 - Liam Garvie, Ross Duncan:
Verifying the Smallest Interesting Colour Code with Quantomatic. 147-163 - Francisco Rios, Peter Selinger:
A categorical model for a quantum circuit description language. 164-178 - John van de Wetering:
Quantum Theory is a Quasi-stochastic Process Theory. 179-196 - Kevin Dunne:
On the Structure of Abstract H*-Algebras. 197-208 - Daniel Mills, Anna Pappa, Theodoros Kapourniotis, Elham Kashefi:
Information Theoretically Secure Hypothesis Test for Temporally Unstructured Quantum Computation (Extended Abstract). 209-221 - Alexander Wilce:
A Shortcut from Categorical Quantum Theory to Convex Operational Theories. 222-236 - Paul Dorbec, Mehdi Mhalla:
Quantum Combinatorial Games. 237-248 - Bob Coecke, Fabrizio Genovese, Stefano Gogioso, Dan Marsden, Robin Piedeleu:
Uniqueness of Composition in Quantum Theory and Linguistics. 249-257 - J. Robin B. Cockett, Cole Comfort, Priyaa V. Srinivasan:
The Category CNOT. 258-293 - Daniel Cicala:
Categorifying the zx-calculus. 294-314 - Oscar Cunningham, Chris Heunen:
Purity through Factorisation. 315-328 - David Reutter, Jamie Vicary:
Shaded Tangles for the Design and Verification of Quantum Programs (Extended Abstract). 329-348 - Stefano Gogioso, Fabrizio Genovese:
Towards Quantum Field Theory in Categorical Quantum Mechanics. 349-366 - Stefano Gogioso, Carlo Maria Scandolo:
Categorical Probabilistic Theories. 367-385 - Kevin Dunne:
Spectral Presheaves, Kochen-Specker Contextuality, and Quantale-Valued Relations. 386-398 - Pau Enrique Moliner, Chris Heunen, Sean Tull:
Space in Monoidal Categories. 399-410
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 2025-03-01 14:59 CET 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:
