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

• 1998
• 
  Nacéra Bensaou, Irène Guessarian:
  Transforming Constraint Logic Programs. Theor. Comput. Sci. 206(1-2): 81-125 (1998)
• 
  Loïc Colson, Daniel Fredholm:
  System T, Call-by-Value and the Minimum Problem. Theor. Comput. Sci. 206(1-2): 301-315 (1998)
• 
  Patrick Dehornoy, Abderrahim Marzouk:
  Theorem Proving by Chain Resolution. Theor. Comput. Sci. 206(1-2): 163-180 (1998)
• 
  Dominic Duggan:
  Unification with Extended Patterns. Theor. Comput. Sci. 206(1-2): 1-50 (1998)
• 
  Thomas Eiter, Nicola Leone, Domenico Saccà:
  Expressive Power and Complexity of Partial Models for Disjunctive Deductive Databases. Theor. Comput. Sci. 206(1-2): 181-218 (1998)
• 
  Sandro Etalle:
  A Semantics for Modular General Logic Programs. Theor. Comput. Sci. 206(1-2): 51-80 (1998)
• 
  Sachio Hirokawa:
  Infiniteness of Proof(alpha) is Polynomial-Space Complete. Theor. Comput. Sci. 206(1-2): 331-339 (1998)
• 
  Leslie Lamport:
  Proving Possibility Properties. Theor. Comput. Sci. 206(1-2): 341-352 (1998)
• 
  Mark Levene, George Loizou:
  Axiomatisation of Functional Dependencies in Incomplete Relations. Theor. Comput. Sci. 206(1-2): 283-300 (1998)
• 
  Xinxin Liu, David Walker:
  Partial Confluence of Proceses and Systems of Objects. Theor. Comput. Sci. 206(1-2): 127-162 (1998)
• 
  Ralph Loader:
  Unary PCF is Decidable. Theor. Comput. Sci. 206(1-2): 317-329 (1998)
• 
  Guy Perrier:
  Corrigendum to Galmiche's and Perrier's "On Proof Normalization in Linear Logic". Theor. Comput. Sci. 206(1-2): 353-354 (1998)
• 
  Lutz Priese, Harro Wimmel:
  A Uniform Approach to True-Concurrency and Interleaving Semantics for Petri Nets. Theor. Comput. Sci. 206(1-2): 219-256 (1998)
• 
  Susumu Yamasaki, Yoshinori Kurose:
  Soudness of Abductive Proof Procedure with Respect to Constraint for Non-Ground Abducibles. Theor. Comput. Sci. 206(1-2): 257-281 (1998)