default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID15th QPL 2018: Halifax, Canada
- Peter Selinger, Giulio Chiribella:
Proceedings 15th International Conference on Quantum Physics and Logic, QPL 2018, Halifax, Canada, 3-7th June 2018. EPTCS 287, 2019 - Matthew Amy:
Towards Large-scale Functional Verification of Universal Quantum Circuits. 1-21 - Miriam Backens
, Aleks Kissinger:
ZH: A Complete Graphical Calculus for Quantum Computations Involving Classical Non-linearity. 23-42 - Spencer Breiner, Amir Kalev, Carl A. Miller:
Parallel Self-Testing of the GHZ State with a Proof by Diagrams. 43-66 - Cole Comfort, J. Robin B. Cockett:
The category TOF. 67-84 - Andrew Fagan, Ross Duncan:
Optimising Clifford Circuits with Quantomatic. 85-105 - Robert Furber:
Categorical Equivalences from State-Effect Adjunctions. 107-126 - Fabrizio Genovese, Jelle Herold:
Executions in (Semi-)Integer Petri Nets are Compact Closed Categories. 127-144 - Stefano Gogioso:
Higher-order CPM Constructions. 145-162 - Stefano Gogioso, Fabrizio Genovese:
Quantum Field Theory in Categorical Quantum Mechanics. 163-177 - Stefano Gogioso, Dan Marsden, Bob Coecke:
Symmetric Monoidal Structure with Local Character is a Property. 179-190 - Stan Gudder:
Contexts in Convex and Sequential Effect Algebras. 191-211 - Mathieu Huot, Sam Staton:
Universal Properties in Quantum Theory. 213-223 - Bart Jacobs:
Lower and Upper Conditioning in Quantum Bayesian Theory. 225-238 - Martti Karvonen:
Categories of empirical models. 239-252 - Benjamin Musto, Jamie Vicary:
Orthogonality for Quantum Latin Isometry Squares. 253-266 - Nuriya Nurgalieva, Lídia del Rio:
Inadequacy of modal logic in quantum settings. 267-297 - Robert Rand, Jennifer Paykin, Dong-Ho Lee, Steve Zdancewic:
ReQWIRE: Reasoning about Reversible Quantum Circuits. 299-312 - Renaud Vilmart:
A ZX-Calculus with Triangles for Toffoli-Hadamard, Clifford+T, and Beyond. 313-344 - Abraham Westerbaan, Bas Westerbaan, John van de Wetering:
Pure Maps between Euclidean Jordan Algebras. 345-364
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-02-03 20:23 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:
