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

• 2006
• 
  Patricia Bouyer, Fabrice Chevalier:
  On the Control of Timed and Hybrid Systems. Bull. EATCS 89: 79-96 (2006)
• 
  Christian Choffrut:
  Relations over Words and Logic: A Chronology. Bull. EATCS 89: 159-163 (2006)
• 
  Sorin Constantinescu, Lucian Ilie:
  Fine and Wilf's Theorem for Abelian Periods. Bull. EATCS 89: 167-170 (2006)
• 
  Artur Czumaj, Christian Sohler:
  Sublinear-Time Algorithms. Bull. EATCS 89: 23-47 (2006)
• 
  Michael Domaratzki:
  Enumeration of Formal Languages. Bull. EATCS 89: 117-133 (2006)
• 
  Hartmut Ehrig:
  Report on ACCAT Workshop at ETAPS 2006: Applied and Computational Category Theory. Bull. EATCS 89: 134-135 (2006)
• 
  Tero Harju, Dirk Nowotka:
  Binary Words with Few Squares. Bull. EATCS 89: 164-166 (2006)
• 
  Johannes Köbler, Wolfgang Lindner:
  Learning Boolean Functions under the Uniform. Bull. EATCS 89: 48-78 (2006)
• 
  Lawrence S. Moss:
  Recursion Theorems and Self-Replication Via Text Register Machine Programs. Bull. EATCS 89: 171-182 (2006)
• 
  Vicky Papadopoulou:
  A Game on a Distributed Network. Bull. EATCS 89: 97-116 (2006)
• 
  Merlijn Sevenster:
  Henkin Quantifiers: Logic, Games, and Computation. Bull. EATCS 89: 136-155 (2006)