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

• 1991
• 
  Mustapha Arfi:
  Opérations polynomiales et hiérarchies de concaténation. Theor. Comput. Sci. 91(1): 71-84 (1991)
• 
  Peter Buneman, Achim Jung, Atsushi Ohori:
  Using Powerdomains to Generalize Relational Databases. Theor. Comput. Sci. 91(1): 23-55 (1991)
• 
  Karel Culík II, Simant Dube:
  An Efficient Solution of the Firing Mob Problem. Theor. Comput. Sci. 91(1): 57-69 (1991)
• 
  Kosaburo Hashiguchi:
  Algorithms for Determining Relative Inclusion Star Height and Inclusion Star Height. Theor. Comput. Sci. 91(1): 85-100 (1991)
• 
  Peter Kearney, John Staples:
  An Extensional Fixed-Point Semantics for Nondeterministic Data Flow. Theor. Comput. Sci. 91(2): 129-179 (1991)
• 
  Efim B. Kinber:
  On Complete Sets of Samples for Generalized Regular Expressions. Theor. Comput. Sci. 91(1): 101-117 (1991)
• 
  Peter M. W. Knijnenburg, Jan van Leeuwen:
  On Models for Propositional Dynamic Logic. Theor. Comput. Sci. 91(2): 181-203 (1991)
• 
  David Moews:
  Sum of Games Born on Days 2 and 3. Theor. Comput. Sci. 91(1): 119-128 (1991)
• 
  Brigitte Rozoy, P. S. Thiagarajan:
  Event Structures and Trace Monoids. Theor. Comput. Sci. 91(2): 285-313 (1991)
• 
  Aravind Srinivasan, C. Pandu Rangan:
  Efficient Algorithms for the Minimum Weighted Dominating Clique Problem on Permutation Graphs. Theor. Comput. Sci. 91(1): 1-21 (1991)
• 
  Andrzej Tarlecki, Rod M. Burstall, Joseph A. Goguen:
  Some Fundamental Algebraic Tools for the Semantics of Computation: Part 3: Indexed Categories. Theor. Comput. Sci. 91(2): 239-264 (1991)
• 
  Walter Vogler:
  Executions: A New Partial-Order Semantics of Petri Nets. Theor. Comput. Sci. 91(2): 205-238 (1991)
• 
  Wenhui Zhang:
  Cut Elimination and Automatic Proof Procedures. Theor. Comput. Sci. 91(2): 265-284 (1991)