• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 20 matches

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