• 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 16 matches

• 2020
• 
  Bob Coecke, Matthew Leifer:
  Proceedings 16th International Conference on Quantum Physics and Logic, QPL 2019, Chapman University, Orange, CA, USA, June 10-14, 2019. EPTCS 318, 2020 [contents]
• 2019
• 
  Mathias Soeken:
  Using ZDDs in the mapping of quantum circuits. QPL 2019: 106-118
• 
  Hector Miller-Bakewell:
  Finite Verification of Infinite Families of Diagram Equations. QPL 2019: 27-52
• 
  Aleks Kissinger, John van de Wetering:
  PyZX: Large Scale Automated Diagrammatic Reasoning. QPL 2019: 229-241
• 
  Niel de Beaudrap, Ross Duncan, Dominic Horsman, Simon Perdrix:
  Pauli Fusion: a Computational Model to Realise Quantum Transformations from ZX Terms. QPL 2019: 85-105
• 
  Joseph Collins, Ross Duncan:
  Hopf-Frobenius Algebras and a Simpler Drinfeld Double. QPL 2019: 150-180
• 
  Alexandru Gheorghiu, Chris Heunen:
  Ontological models for quantum theory as functors. QPL 2019: 196-212
• 
  Alexander Cowtan, Silas Dilkes, Ross Duncan, Will Simmons, Seyon Sivarajah:
  Phase Gadget Synthesis for Shallow Circuits. QPL 2019: 213-228
• 
  Sean Tull:
  Deriving Dagger Compactness. QPL 2019: 181-195
• 
  Niel de Beaudrap, Xiaoning Bian, Quanlong Wang:
  Techniques to Reduce (π/4)-Parity-Phase Circuits, Motivated by the ZX Calculus. QPL 2019: 131-149
• 
  Tejas Bhojraj:
  Generating Randomness from a Computable, Non-random Sequence of Qubits. QPL 2019: 1-12
• 
  Jean-Simon Pacaud Lemay:
  Why FHilb is Not an Interesting (Co)Differential Category. QPL 2019: 13-26
• 
  Octavio Zapata:
  Effectus of Quantum Probability on Relational Structures. QPL 2019: 53-65
• 
  Robert Furber:
  Scott Continuity in Generalized Probabilistic Theories. QPL 2019: 66-84
• 
  Giulia Meuli, Mathias Soeken, Martin Roetteler, Giovanni De Micheli:
  ROS: Resource-constrained Oracle Synthesis for Quantum Computers. QPL 2019: 119-130
• 
  Sivert Aasnæss:
  Cohomology and the Algebraic Structure of Contextuality in Measurement Based Quantum Computation. QPL 2019: 242-253