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

• 2014
• 
  Robin Adams:
  QPEL: Quantum Program and Effect Language. QPL 2014: 133-153
• 
  George Philip Atzemoglou:
  The dagger lambda calculus. QPL 2014: 217-235
• 
  Krzysztof Bar, Jamie Vicary:
  A 2-Categorical Analysis of Complementary Families, Quantum Key Distribution and the Mean King Problem. QPL 2014: 316-332
• 
  Rui Soares Barbosa:
  On monogamy of non-locality and macroscopic averages: examples and preliminary results. QPL 2014: 36-55
• 
  Giulio Chiribella:
  Dilation of states and processes in operational-probabilistic theories. QPL 2014: 1-14
• 
  Kenta Cho:
  Semantics for a Quantum Programming Language by Operator Algebras. QPL 2014: 165-190
• 
  Bob Coecke:
  Terminality implies non-signalling. QPL 2014: 27-35
• 
  Antonin Delpeuch:
  Complexity of Grammar Induction for Quantum Types. QPL 2014: 236-248
• 
  Chris Heunen, Jamie Vicary, Linde Wester:
  Mixed quantum states in higher categories. QPL 2014: 304-315
• 
  Dimitri Kartsaklis, Mehrnoosh Sadrzadeh:
  A Study of Entanglement in a Categorical Framework of Natural Language. QPL 2014: 249-261
• 
  Kohei Kishida:
  Stochastic Relational Presheaves and Dynamic Logic for Contextuality. QPL 2014: 115-132
• 
  Aleks Kissinger, David Quick:
  Tensors, !-graphs, and non-commutative quantum structures. QPL 2014: 56-67
• 
  Masanao Ozawa:
  Quantum Set Theory Extending the Standard Probabilistic Interpretation of Quantum Theory (Extended Abstract). QPL 2014: 15-26
• 
  Toru Takisaka:
  On Gács' quantum algorithmic entropy. QPL 2014: 204-216
• 
  Sander Uijlen, Bas Westerbaan:
  A Kochen-Specker system has at least 22 vectors (extended abstract). QPL 2014: 154-164
• 
  Christian Schröder de Witt, Vladimir Zamdzhiev:
  The ZX calculus is incomplete for quantum mechanics. QPL 2014: 285-292
• 
  Kazuya Yasuda, Takahiro Kubota, Yoshihiko Kakutani:
  Observational Equivalence Using Schedulers for Quantum Processes. QPL 2014: 191-203
• 
  W. J. Zeng, Jamie Vicary:
  Abstract structure of unitary oracles for quantum algorithms. QPL 2014: 270-284
• 
  André Ranchin:
  Depicting qudit quantum mechanics and mutually unbiased qudit theories. QPL 2014: 68-91
• 
  Jason Morton:
  Belief propagation in monoidal categories. QPL 2014: 262-269
• 
  Quanlong Wang, Xiaoning Bian:
  Qutrit Dichromatic Calculus and Its Universality. QPL 2014: 92-101
• 
  Shane Mansfield:
  Reflections on the PBR Theorem: Reality Criteria & Preparation Independence. QPL 2014: 102-114
• 
  Miriam Backens:
  The ZX-calculus is complete for the single-qubit Clifford+T group. QPL 2014: 293-303
• 
  Bob Coecke, Ichiro Hasuo, Prakash Panangaden:
  Proceedings of the 11th workshop on Quantum Physics and Logic, QPL 2014, Kyoto, Japan, 4-6th June 2014. EPTCS 172, 2014 [contents]