• 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

• 1982
• 
  Klaus J. Berkling, Elfriede Fehr:
  A Consistent Extension of the Lambda-Calculus as a Base for Functional Programming Languages. Inf. Control. 55(1-3): 89-101 (1982)
• 
  Ian F. Blake:
  The Enumeration of Certain Run-Length Sequences. Inf. Control. 55(1-3): 222-236 (1982)
• 
  Andreas Blass, Yuri Gurevich:
  On the Unique Satisfiability Problem. Inf. Control. 55(1-3): 80-88 (1982)
• 
  Danny Dolev, Shimon Even, Richard M. Karp:
  On the Security of Ping-Pong Protocols. Inf. Control. 55(1-3): 57-68 (1982)
• 
  Shimon Even, Timothy J. Long, Yacov Yacobi:
  A Note on Deterministic and Nondeterministic Time Complexity. Inf. Control. 55(1-3): 117-124 (1982)
• 
  Yuri Gurevich, Harry R. Lewis:
  The Inference Problem for Template Dependencies. Inf. Control. 55(1-3): 69-79 (1982)
• 
  David Harel, Rivi Sherman:
  Looping vs. Repeating in Dynamic Logic. Inf. Control. 55(1-3): 175-192 (1982)
• 
  Akira Ito, Katsushi Inoue, Itsuo Takanami, Hiroshi Taniguchi:
  Two-Dimensional Alternating Turing Machines with Only Universal States. Inf. Control. 55(1-3): 193-221 (1982)
• 
  Ravi Kannan:
  Circuit-Size Lower Bounds and Non-Reducibility to Sparse Sets. Inf. Control. 55(1-3): 40-56 (1982)
• 
  David L. Neuhoff, Paul C. Shields:
  Channel Distances and Representation. Inf. Control. 55(1-3): 238-264 (1982)
• 
  Ronald L. Rivest, Adi Shamir:
  How to Reuse a "Write-Once" Memory. Inf. Control. 55(1-3): 1-19 (1982)
• 
  Hans Ulrich Simon:
  A Tight Omega(log log n)-Bound on the Time for Parallel RAM's to Compute Nondegenerated Boolean Functions. Inf. Control. 55(1-3): 102-106 (1982)
• 
  Paul M. B. Vitányi:
  On Efficient Simulations of Multicounter Machines. Inf. Control. 55(1-3): 20-39 (1982)
• 
  Bernhard Eisenbarth, Nivio Ziviani, Gaston H. Gonnet, Kurt Mehlhorn, Derick Wood:
  The Theory of Fringe Analysis and Its Application to 2-3 Trees and B-Trees. Inf. Control. 55(1-3): 125-174 (1982)
• 
  Sara Porat, Nissim Francez, Shlomo Moran, Shmuel Zaks:
  Fair Deriviations in Context-Free Grammars. Inf. Control. 55(1-3): 108-116 (1982)