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

• 2009
• 
  Moreno Falaschi:
  Proceedings of the 17th International Workshop on Functional and (Constraint) Logic Programming, WFLP 2008, Siena, Italy, July 3-4, 2008. Electronic Notes in Theoretical Computer Science 246, Elsevier 2009 [contents]
• 2008
• 
  Sa'ed Abed, Otmane Aït Mohamed:
  LCF-style Platform based on Multiway Decision Graphs. WFLP 2008: 3-26
• 
  María Alpuente, Santiago Escobar, José Meseguer, Pedro Ojeda:
  Order-Sorted Generalization. WFLP 2008: 27-38
• 
  Bernd Braßel:
  A Technique to Build Debugging Tools for Lazy Functional Logic Languages. WFLP 2008: 39-53
• 
  Diego Cheda, Josep Silva:
  State of the Practice in Algorithmic Debugging. WFLP 2008: 55-70
• 
  Moreno Falaschi:
  Preface. WFLP 2008: 1-2
• 
  Tommaso Flaminio, Elisa B. P. Tiezzi:
  On Metric Temporal Lukasiewicz Logic. WFLP 2008: 71-85
• 
  Michael Gabbay, Murdoch James Gabbay:
  Term Sequent Logic. WFLP 2008: 87-106
• 
  Murdoch James Gabbay, Dominic P. Mulligan:
  Two-level Lambda-calculus. WFLP 2008: 107-129
• 
  Alexei Lescaylle, Alicia Villanueva:
  A Tool for Generating a Symbolic Representation of tccp Executions. WFLP 2008: 131-145
• 
  Dale Miller:
  Formalizing Operational Semantic Specifications in Logic. WFLP 2008: 147-165
• 
  Manuel Montenegro, Ricardo Peña-Marí, Clara Segura:
  A Resource-Aware Semantics and Abstract Machine for a Functional Language with Explicit Deallocation. WFLP 2008: 167-182
• 
  Susana Muñoz-Hernández, Juan José Moreno-Navarro:
  Extending Constructive Logic Negation with Types. WFLP 2008: 183-198
• 
  Harald Zankl, Christian Sternagel, Aart Middeldorp:
  Transforming SAT into Termination of Rewriting. WFLP 2008: 199-214