default search action

combined dblp search
author search
venue search
publication search

ask others

15th QPL 2018: Halifax, Canada

> 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/abs-1901-09476
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1901-09476
Peter Selinger, Giulio Chiribella:
Proceedings 15th International Conference on Quantum Physics and Logic, QPL 2018, Halifax, Canada, 3-7th June 2018. EPTCS 287, 2019
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1805-06908
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1805-06908
Matthew Amy:
Towards Large-scale Functional Verification of Universal Quantum Circuits. 1-21
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1805-02175
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1805-02175
Miriam Backens, Aleks Kissinger:
ZH: A Complete Graphical Calculus for Quantum Computations Involving Classical Non-linearity. 23-42
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1806-04744
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1806-04744
Spencer Breiner, Amir Kalev, Carl A. Miller:
Parallel Self-Testing of the GHZ State with a Proof by Diagrams. 43-66
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1804-10360
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1804-10360
Cole Comfort, J. Robin B. Cockett:
The category TOF. 67-84
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1901-10114
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1901-10114
Andrew Fagan, Ross Duncan:
Optimising Clifford Circuits with Quantomatic. 85-105
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1901-10116
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1901-10116
Robert Furber:
Categorical Equivalences from State-Effect Adjunctions. 107-126
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1805-05988
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1805-05988
Fabrizio Genovese, Jelle Herold:
Executions in (Semi-)Integer Petri Nets are Compact Closed Categories. 127-144
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1805-12079
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1805-12079
Stefano Gogioso:
Higher-order CPM Constructions. 145-162
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1805-12087
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1805-12087
Stefano Gogioso, Fabrizio Genovese:
Quantum Field Theory in Categorical Quantum Mechanics. 163-177
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1805-12088
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1805-12088
Stefano Gogioso, Dan Marsden, Bob Coecke:
Symmetric Monoidal Structure with Local Character is a Property. 179-190
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1901-10640
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1901-10640
Stan Gudder:
Contexts in Convex and Sequential Effect Algebras. 191-211
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1901-10117
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1901-10117
Mathieu Huot, Sam Staton:
Universal Properties in Quantum Theory. 213-223
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1810-02438
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1810-02438
Bart Jacobs:
Lower and Upper Conditioning in Quantum Bayesian Theory. 225-238
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1804-01514
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1804-01514
Martti Karvonen:
Categories of empirical models. 239-252
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1804-04042
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1804-04042
Benjamin Musto, Jamie Vicary:
Orthogonality for Quantum Latin Isometry Squares. 253-266
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1804-01106
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1804-01106
Nuriya Nurgalieva, Lídia del Rio:
Inadequacy of modal logic in quantum settings. 267-297
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1901-10118
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1901-10118
Robert Rand, Jennifer Paykin, Dong-Ho Lee, Steve Zdancewic:
ReQWIRE: Reasoning about Reversible Quantum Circuits. 299-312
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1804-03084
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1804-03084
Renaud Vilmart:
A ZX-Calculus with Triangles for Toffoli-Hadamard, Clifford+T, and Beyond. 313-344
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1805-11496
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1805-11496
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.