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

• 1992
• 
  Alberto Apostolico, Dany Breslauer, Zvi Galil:
  Optimal Parallel Algorithms for Periods, Palindromes and Squares (Extended Abstract). ICALP 1992: 296-307
• 
  Vikraman Arvind, Yenjo Han, Lane A. Hemachandra, Johannes Köbler, Antoni Lozano, Martin Mundhenk, Mitsunori Ogiwara, Uwe Schöning, Riccardo Silvestri, Thomas Thierauf:
  Reductions to Sets of Low Information Content. ICALP 1992: 162-173
• 
  Hans L. Bodlaender, Michael R. Fellows, Tandy J. Warnow:
  Two Strikes Against Perfect Phylogeny. ICALP 1992: 273-283
• 
  Andrei Z. Broder, Alan M. Frieze, Eli Shamir, Eli Upfal:
  Near-perfect Token Distribution. ICALP 1992: 308-317
• 
  Carolyn Brown, Doug Gurr:
  Timing Petri Nets Categorically. ICALP 1992: 571-582
• 
  Bruno Buchberger:
  Gröbner Bases: An Introduction. ICALP 1992: 378-379
• 
  Reinhard Bündgen:
  Buchberger's Algorithm: The Term Rewriter's Point of View (Extended Abstract). ICALP 1992: 380-391
• 
  Gerhard Buntrock, Krzysztof Lorys:
  On Growing Context-Sensitive Languages. ICALP 1992: 77-88
• 
  Edward Y. Chang, Zohar Manna, Amir Pnueli:
  Characterization of Temporal Property Classes. ICALP 1992: 474-486
• 
  Bernard Chazelle, Burton Rosenberg:
  Lower Bounds on the Complexity of Simplex Range Reporting on a Pointer Machine. ICALP 1992: 439-449
• 
  Rance Cleaveland, Scott A. Smolka, Amy E. Zwarico:
  Testing Preorders for Probabilistic Processes. ICALP 1992: 708-719
• 
  Mireille Clerbout, Yves Roos, Wieslaw Zielonka:
  Semi-Commutations and Rational Expressions. ICALP 1992: 113-125
• 
  Hubert Comon:
  Completion of Rewrite Systems with Membership Constraints. ICALP 1992: 392-403
• 
  Agostino Cortesi, Gilberto Filé, William H. Winsborough:
  Comparison of Abstract Interpretations. ICALP 1992: 521-532
• 
  Saumya K. Debray:
  On the Complexity of Dataflow Analysis of Logic Programs. ICALP 1992: 509-520
• 
  Pierpaolo Degano, Corrado Priami:
  Proved Trees. ICALP 1992: 629-640
• 
  Martin Dietzfelbinger, Joseph Gil, Yossi Matias, Nicholas Pippenger:
  Polynomial Hash Functions Are Reliable (Extended Abstract). ICALP 1992: 235-246
• 
  Joost Engelfriet:
  A Greibach Normal Form for Context-free Graph Grammars. ICALP 1992: 138-149
• 
  Limor Fix, Nissim Francez, Orna Grumberg:
  Program Composition via Unification. ICALP 1992: 672-684
• 
  Philippe Flajolet:
  Analytic Analysis of Algorithms. ICALP 1992: 186-210
• 
  Paul Gastin, Antoine Petit:
  Asynchronous Cellular Automata for Infinite Traces. ICALP 1992: 583-594
• 
  Torben Hagerup:
  Fast Integer Merging on the EREW PRAM. ICALP 1992: 318-329
• 
  Thomas A. Henzinger, Zohar Manna, Amir Pnueli:
  What Good Are Digital Clocks? ICALP 1992: 545-558
• 
  P. W. Hoogers, H. C. M. Kleijn, P. S. Thiagarajan:
  A Trace Semantics for Petri Nets (Extended Abstract). ICALP 1992: 595-604
• 
  Oscar H. Ibarra, Nicholas Q. Trân:
  New Results Concerning Synchronized Finite Automata. ICALP 1992: 126-137
• 
  Juhani Karhumäki, Wojciech Plandowski, Wojciech Rytter:
  Polynomial Size Test Sets for Context-Free Languages. ICALP 1992: 53-64
• 
  Veikko Keränen:
  Abelian Squares are Avoidable on 4 Letters. ICALP 1992: 41-52
• 
  Samir Khuller, Ramakrishna Thurimella:
  Approximation Algorithms for Graph Augmentation. ICALP 1992: 330-341
• 
  Peter Kirschenhofer, Helmut Prodinger, Wojciech Szpankowski:
  How to Count Quickly and Accurately: A Unified Analysis of Probabilistic Counting and Other Related Problems. ICALP 1992: 211-222
• 
  Phokion G. Kolaitis, Moshe Y. Vardi:
  Infinitary Logic for Computer Science. ICALP 1992: 450-473

skipping 29 more matches