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

• 1987
• 
  Karl R. Abrahamson:
  Succinct Representation of Regular Sets Using Gotos and Boolean Variables. J. Comput. Syst. Sci. 34(1): 129-148 (1987)
• 
  Amihood Amir:
  Expressive Completeness Failure in Branching Time Structures. J. Comput. Syst. Sci. 34(1): 27-42 (1987)
• 
  Edward K. Blum, Hartmut Ehrig, Francesco Parisi-Presicce:
  Algebraic Specification of Modules and Their Basic Interconnections. J. Comput. Syst. Sci. 34(2/3): 293-339 (1987)
• 
  Paul Boehm, Harald-Reto Fonio, Annegret Habel:
  Amalgamation of Graph Transformations: A Synchronization Mechanism. J. Comput. Syst. Sci. 34(2/3): 377-408 (1987)
• 
  Manfred Broy:
  Specification and Top-Down Design of Distributed Systems. J. Comput. Syst. Sci. 34(2/3): 236-265 (1987)
• 
  Rod M. Burstall:
  Inductively Defined Functions in Functional Programming Languages. J. Comput. Syst. Sci. 34(2/3): 409-421 (1987)
• 
  Domenico Cantone, Alfredo Ferro, Jacob T. Schwartz:
  Decision Procedures for Elementary Sublanguages of Set Theory. V. Multilevel Syllogistic Extended by the General Union Operator. J. Comput. Syst. Sci. 34(1): 1-18 (1987)
• 
  Ilaria Castellani:
  Bisimulations and Abstraction Homomorphisms. J. Comput. Syst. Sci. 34(2/3): 210-235 (1987)
• 
  Pierpaolo Degano, Ugo Montanari:
  Concurrent Histories: A Basis for Observing Distributed Systems. J. Comput. Syst. Sci. 34(2/3): 422-461 (1987)
• 
  Greg N. Frederickson:
  Upper Bounds for Time-Space Trade-Offs in Sorting and Selection. J. Comput. Syst. Sci. 34(1): 19-26 (1987)
• 
  Rodney R. Howell, Louis E. Rosier:
  An Analysis of the Nonemptiness Problem for Classes of Reversal-Bounded Multicounter Machines. J. Comput. Syst. Sci. 34(1): 55-74 (1987)
• 
  Ker-I Ko, Chin-Ming Hua:
  A Note on the Two-Variable Pattern-Finding Problem. J. Comput. Syst. Sci. 34(1): 75-86 (1987)
• 
  Johann A. Makowsky:
  Why Horn Formulas Matter in Computer Science: Initial Structures and Generic Examples. J. Comput. Syst. Sci. 34(2/3): 266-292 (1987)
• 
  Andranik Mirzaian:
  River Routing in VLSI. J. Comput. Syst. Sci. 34(1): 43-54 (1987)
• 
  Peter Padawitz:
  Parameter-Preserving Data Type Specifications. J. Comput. Syst. Sci. 34(2/3): 179-209 (1987)
• 
  Axel Poigné, Josef Voss:
  On the Implementation of Abstract Data Types by Programming Language Constructs. J. Comput. Syst. Sci. 34(2/3): 340-376 (1987)
• 
  Donald Sannella, Andrzej Tarlecki:
  On Observational Equivalence and Algebraic Specification. J. Comput. Syst. Sci. 34(2/3): 150-178 (1987)
• 
  Heiko Vogler:
  Basic Tree Transducers. J. Comput. Syst. Sci. 34(1): 87-128 (1987)