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

• 1987
• 
  Dana Angluin:
  Learning Regular Sets from Queries and Counterexamples. Inf. Comput. 75(2): 87-106 (1987)
• 
  Hendrik Pieter Barendregt, Richard Kennaway, Jan Willem Klop, M. Ronan Sleep:
  Needed Reduction and Spine Strategies for the Lambda Calculus. Inf. Comput. 75(3): 191-231 (1987)
• 
  Gabriel Bracha:
  Asynchronous Byzantine Agreement Protocols. Inf. Comput. 75(2): 130-143 (1987)
• 
  Andrei Z. Broder, Danny Dolev, Michael J. Fischer, Barbara Simons:
  Efficient Fault-Tolerant Routings in Networks. Inf. Comput. 75(1): 52-64 (1987)
• 
  David A. Carlson:
  Time-Space Efficient Algorithms for Computing Convolutions and Related Problems. Inf. Comput. 75(1): 1-14 (1987)
• 
  Torben Hagerup:
  Towards Optimal Parallel Bucket Sorting. Inf. Comput. 75(1): 39-51 (1987)
• 
  Dirk Hauschildt, Rüdiger Valk:
  Safe States in Banker-like Resource Allocations Problems. Inf. Comput. 75(3): 232-263 (1987)
• 
  Xin He, Yaacov Yesha:
  Parallel Recognitions and Decomposition of Two Terminal Series Parallel Graphs. Inf. Comput. 75(1): 15-38 (1987)
• 
  Marek Karpinski, Rutger Verbeek:
  On the Monte Carlo Space Constructible Functions and Seperation Results for Probabilistic Complexity Classes. Inf. Comput. 75(2): 178-189 (1987)
• 
  Rolf Klein, Derick Wood:
  The Node Visit Cost of Brother Trees. Inf. Comput. 75(2): 107-129 (1987)
• 
  Evangelos Kranakis:
  Fixed Point Equations with Parameters in the Projective Model. Inf. Comput. 75(3): 264-288 (1987)
• 
  Yishay Mansour, Shmuel Zaks:
  On the Bit Complexity of Distributed Computations in a Ring with a Leader. Inf. Comput. 75(2): 162-177 (1987)
• 
  A. W. Roscoe, Naiem Dathi:
  The Pursuit of Deadlock freedom. Inf. Comput. 75(3): 289-327 (1987)
• 
  Stefan Waner, Yihren Wu:
  The Hierarchical Structure of Graph Searches. Inf. Comput. 75(1): 65-85 (1987)
• 
  Hiroaki Yamamoto, Shoichi Noguchi:
  Comparison of the Power between Reversal-Bounded ATMs and Reversal-Bounded NTMs. Inf. Comput. 75(2): 144-161 (1987)