• 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

• 1992
• 
  Nigel P. Chapman:
  On Extended Attribute Grammars. Bull. EATCS 46: 140-145 (1992)
• 
  Martin Große-Rhode, Hartmut Ehrig:
  Restriction Constructions in Specification Logics. Bull. EATCS 46: 84-89 (1992)
• 
  Yuri Gurevich:
  Zero-One Laws. Bull. EATCS 46: 90-106 (1992)
• 
  Lane A. Hemachandra, Mitsunori Ogiwara:
  Is #P Closed under Substraction? Bull. EATCS 46: 107-123 (1992)
• 
  Lila Kari, Solomon Marcus, Gheorghe Paun, Arto Salomaa:
  In the prehistory of formal language theory: Gauss Languages. Bull. EATCS 46: 124-139 (1992)
• 
  Erkki Mäkinen:
  A note on Graftings, Rotations, and Distances in Binary Trees. Bull. EATCS 46: 146-148 (1992)
• 
  Christoph Meinel:
  Branching Programs - An Efficient Data Structure for Computer-Aided Circuit Design. Bull. EATCS 46: 149-170 (1992)
• 
  Gheorghe Paun, Arto Salomaa:
  Decision Problems Concerning the Thinness of DOL Languages. Bull. EATCS 46: 171-181 (1992)
• 
  Jeffrey O. Shallit, David A. Wilson:
  The "3x + 1" Problem and Finite Automata. Bull. EATCS 46: 182-185 (1992)
• 
  Friedrich J. Urbanek:
  O = square. Bull. EATCS 46: 186-187 (1992)
• 
  Paulo A. S. Veloso:
  Yet Antother Cautionary Note on Conservative Extensions: a Simple Case with a Computing Flavour. Bull. EATCS 46: 188-192 (1992)