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

• 2005
• 
  Salvador Lucas:
  Proceedings of the Fourth Spanish Conference on Programming and Computer Languages, PROLE 2004, Málaga, Spain, November 10-12, 2004. Electronic Notes in Theoretical Computer Science 137(1), Elsevier 2005 [contents]
• 2004
• 
  Javier Álvez, Paqui Lucio:
  Elimination of Local Variables from Definite Logic Programs. PROLE 2004: 5-24
• 
  Miquel Bertran, Francesc-Xavier Babot, August Climent:
  An Input/Output Semantics for Distributed Program Equivalence Reasoning. PROLE 2004: 25-46
• 
  Mercedes Hidalgo-Herrero, Yolanda Ortega-Mallén:
  Dealing Denotationally With Stream-based Communication. PROLE 2004: 47-68
• 
  Pascual Julián Iranzo, Ginés Moreno, Jaime Penabad:
  Unfolding-based Improvements on Fuzzy Logic Programs. PROLE 2004: 69-103
• 
  Salvador Lucas:
  Preface. PROLE 2004: 1-3
• 
  Narciso Martí-Oliet, Miguel Palomino, Alberto Verdejo:
  A Tutorial on Specifying Data Structures in Maude. PROLE 2004: 105-132
• 
  Isabel Pita, Miguel Palomino:
  Proving Modal Properties of Rewrite Theories Using Maude's Metalevel. PROLE 2004: 133-150
• 
  Fernando Rosa-Velardo, Clara Segura, David de Frutos-Escrig:
  Tagged Systems: A Framework for the Specification of History-dependent Properties. PROLE 2004: 151-174