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

• 1996
• 
  Rana Barua, S. Ramakrishnan:
  sigma-Game, sigma+-Game, and Two-Dimensional Additive Cellular Automata. Theor. Comput. Sci. 154(2): 349-366 (1996)
• 
  Carlo Blundo, Alfredo De Santis, Luisa Gargano, Ugo Vaccaro:
  On the Information Rate of Secret Sharing Schemes. Theor. Comput. Sci. 154(2): 283-306 (1996)
• 
  Cristian Calude, Marius Zimand:
  Effective Category and Measure in Abstract Complexity Theory. Theor. Comput. Sci. 154(2): 307-327 (1996)
• 
  David M. Cohen, Michael L. Fredman:
  Products of Finite State Machines with Full Coverage. Theor. Comput. Sci. 154(1): 57-65 (1996)
• 
  Artur Czumaj, Alan Gibbons:
  Guthrie's Problem: New Equivalences and Rapid Reductions. Theor. Comput. Sci. 154(1): 3-22 (1996)
• 
  Werner Ebinger, Anca Muscholl:
  Logical Definability on Infinite Traces. Theor. Comput. Sci. 154(1): 67-84 (1996)
• 
  Joost Engelfriet, Tero Harju, Andrzej Proskurowski, Grzegorz Rozenberg:
  Characterization and Complexity of Uniformly Non Primitive Labeled 2-Structures. Theor. Comput. Sci. 154(2): 247-282 (1996)
• 
  Christophe Fiorio, Jens Gustedt:
  Two Linear Time Union-Find Strategies for Image Processing. Theor. Comput. Sci. 154(2): 165-181 (1996)
• 
  Lane A. Hemaspaandra, Leen Torenvliet:
  Optimal Advice. Theor. Comput. Sci. 154(2): 367-377 (1996)
• 
  Ramana M. Idury, Alejandro A. Schäffer:
  Multiple Matching of Parametrized Patterns. Theor. Comput. Sci. 154(2): 203-224 (1996)
• 
  Joseph F. JáJá, Kwan Woo Ryu, Uzi Vishkin:
  Sorting Strings and Constructing Digital Search Trees in Parallel. Theor. Comput. Sci. 154(2): 225-245 (1996)
• 
  Jerzy W. Jaromczyk, Grzegorz Swiatek:
  A Theory of Even Functionals and Their Algorithmic Applications. Theor. Comput. Sci. 154(1): 41-56 (1996)
• 
  Lalita Jategaonkar, Albert R. Meyer:
  Deciding True Concurrency Equivalences on Safe, Finite Nets. Theor. Comput. Sci. 154(1): 107-143 (1996)
• 
  Jacques Justin, Giuseppe Pirillo:
  On a Combinatorial Property of Sturmian Words. Theor. Comput. Sci. 154(2): 387-394 (1996)
• 
  Marek Karpinski, Rutger Verbeek:
  On Randomized versus Deterministic Computation. Theor. Comput. Sci. 154(1): 23-39 (1996)
• 
  N. Lafaye de Micheaux, C. Rambau:
  Confluence for Graph Transformations. Theor. Comput. Sci. 154(2): 329-348 (1996)
• 
  Victor Mitrana, Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa:
  Pattern Systems. Theor. Comput. Sci. 154(2): 183-201 (1996)
• 
  S. Ramesh, Bommadevara N. Srinivas:
  A Direct Characterization of Completion. Theor. Comput. Sci. 154(2): 379-385 (1996)
• 
  Claude Sureson:
  P, NP, Co-NP and Weak Systems of Arithmetic. Theor. Comput. Sci. 154(2): 145-163 (1996)
• 
  Thomas Wilke:
  An Algebraic Characterization of Frontier Testable Tree Languages. Theor. Comput. Sci. 154(1): 85-106 (1996)