• 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

• 2015
• 
  Samson Abramsky, Dominic Horsman:
  DEMONIC programming: a computational language for single-particle equilibrium thermodynamics, and its formal semantics. QPL 2015: 1-16
• 
  Costin Badescu, Prakash Panangaden:
  Quantum Alternation: Prospects and Problems. QPL 2015: 33-42
• 
  Jaap Boender, Florian Kammüller, Rajagopal Nagarajan:
  Formalization of Quantum Protocols using Coq. QPL 2015: 71-83
• 
  Olivier Brunet:
  A Logic of Quantum Measurement. QPL 2015: 84-95
• 
  Giulio Chiribella, Carlo Maria Scandolo:
  Operational axioms for diagonalizing states. QPL 2015: 96-115
• 
  Kenta Cho, Bart Jacobs, Bas Westerbaan, Bram Westerbaan:
  Quotient-Comprehension Chains. QPL 2015: 136-147
• 
  Kenta Cho:
  Total and Partial Computation in Categorical Quantum Foundations. QPL 2015: 116-135
• 
  Oscar Cunningham, Chris Heunen:
  Axiomatizing complete positivity. QPL 2015: 148-157
• 
  Brendan Fong, Hugo Nava-Kopp:
  Additive monotones for resource theories of parallel-combinable processes with discarding. QPL 2015: 170-178
• 
  Robert Furber, Bart Jacobs:
  Towards a Categorical Account of Conditional Probability. QPL 2015: 179-195
• 
  Stefano Gogioso:
  A Bestiary of Sets and Relations. QPL 2015: 208-227
• 
  Chris Heunen, Sean Tull:
  Categories of relations as models of quantum theory. QPL 2015: 247-261
• 
  Kentaro Honda:
  Analysis of Quantum Entanglement in Quantum Programs using Stabilizer Formalism. QPL 2015: 262-272
• 
  Daniel Marsden:
  A Graph Theoretic Perspective on CPM(Rel). QPL 2015: 273-284
• 
  David Quick:
  Encoding !-tensors as !-graphs with neighbourhood orders. QPL 2015: 307-320
• 
  Robert Furber, Bas Westerbaan:
  Unordered Tuples in Quantum Computation. QPL 2015: 196-207
• 
  Stefano Gogioso, William Zeng:
  Mermin Non-Locality in Abstract Process Theories. QPL 2015: 228-246
• 
  Matthew F. Pusey, Matthew S. Leifer:
  Logical pre- and post-selection paradoxes are proofs of contextuality. QPL 2015: 295-306
• 
  Tim N. Palmer:
  Invariant Set Theory: Violating Measurement Independence without Fine Tuning, Conspiracy, Constraints on Free Will or Retrocausality. QPL 2015: 285-294
• 
  Miriam Backens:
  Making the stabilizer ZX-calculus complete for scalars. QPL 2015: 17-32
• 
  Howard Barnum, Matthew A. Graydon, Alexander Wilce:
  Some Nearly Quantum Theories. QPL 2015: 59-70
• 
  Howard Barnum, Jonathan Barrett, Marius Krumm, Markus P. Müller:
  Entropy, majorization and thermodynamics in general probabilistic theories. QPL 2015: 43-58
• 
  Benjamin Eva:
  Towards a Paraconsistent Quantum Set Theory. QPL 2015: 158-169
• 
  Chris Heunen, Peter Selinger, Jamie Vicary:
  Proceedings 12th International Workshop on Quantum Physics and Logic, QPL 2015, Oxford, UK, July 15-17, 2015. EPTCS 195, 2015 [contents]