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

• 1996
• 
  Igor Baník:
  Colonies as Systems of Turing Machines Without States. J. Autom. Lang. Comb. 1(2): 81-96 (1996)
• 
  Henning Bordihn, Henning Fernau:
  Accepting Grammars and Systems via Context Condition Grammars. J. Autom. Lang. Comb. 1(2): 97-112 (1996)
• 
  Symeon Bozapalidis:
  Convex Algebras, Convex Modules and Formal Power Series on Trees. J. Autom. Lang. Comb. 1(3): 165-180 (1996)
• 
  James D. Currie, Robert O. Shelton:
  Cantor Sets and Dejean's Conjecture. J. Autom. Lang. Comb. 1(2): 113-127 (1996)
• 
  Jürgen Dassow:
  Editorial. J. Autom. Lang. Comb. 1(1): 3 (1996)
• 
  Jürgen Dassow:
  Editorial. J. Autom. Lang. Comb. 1(2): 79 (1996)
• 
  Jürgen Dassow:
  Editorial. J. Autom. Lang. Comb. 1(4): 241 (1996)
• 
  Henning Fernau:
  Membership for k-Limited ET0L Languages is not Decidable. J. Autom. Lang. Comb. 1(4): 243-245 (1996)
• 
  Gianina Georgescu:
  On the Regularity of Languages Generated by Parallel Communicating Grammar Systems. J. Autom. Lang. Comb. 1(3): 181-197 (1996)
• 
  Silvia Ghilezan:
  Generalized Finiteness of Developments in Typed Lambda Calculi. J. Autom. Lang. Comb. 1(4): 247-257 (1996)
• 
  Jonathan S. Golan, Alexandru Mateescu, Dragos Vaida:
  Semirings and Parallel Composition of Processes. J. Autom. Lang. Comb. 1(3): 199-217 (1996)
• 
  Peter J. Grabner, Helmut Prodinger:
  On the Optimality of an Algorithm of Reingold and Supowit. J. Autom. Lang. Comb. 1(1): 5-11 (1996)
• 
  Peter Hartmann:
  Implementation of Parallel Replacement Systems for Cellular Hypergraphs. J. Autom. Lang. Comb. 1(2): 129-146 (1996)
• 
  Joanna Jedrzejowicz:
  Undecidability Results for Shuffle Languages. J. Autom. Lang. Comb. 1(2): 147-159 (1996)
• 
  Lila Kari, Gabriel Thierrin:
  Omega-Syntactic Congruences. J. Autom. Lang. Comb. 1(1): 13-26 (1996)
• 
  Rainer Kemp:
  On Prefixes of Formal Languages and Their Relation to the Average-Case Complexity of the Membership Problem. J. Autom. Lang. Comb. 1(4): 259-303 (1996)
• 
  Victor Mitrana:
  Iterated Pattern Languages. J. Autom. Lang. Comb. 1(4): 305-311 (1996)
• 
  Gheorghe Paun:
  Regular Extended H Systems are Computationally Universal. J. Autom. Lang. Comb. 1(1): 27-36 (1996)
• 
  Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa:
  Pattern Grammars. J. Autom. Lang. Comb. 1(3): 219-235 (1996)
• 
  Kai Salomaa:
  On the Modularity of Decidability of Completeness and Termination. J. Autom. Lang. Comb. 1(1): 37-53 (1996)
• 
  Dietmar Wätjen:
  Regulations of Uniformly k-Limited ET0L Systems and Their Relations to Controlled Context-Free Grammars. J. Autom. Lang. Comb. 1(1): 55-74 (1996)