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

• 1970
• 
  Alfred V. Aho, Jeffrey D. Ullman:
  A Characterization of Two-Way Deterministic Classes of Languages. J. Comput. Syst. Sci. 4(6): 523-538 (1970)
• 
  Alfred V. Aho, Jeffrey D. Ullman, John E. Hopcroft:
  On the Computational Power of Pushdown Automata. J. Comput. Syst. Sci. 4(2): 129-136 (1970)
• 
  Edward Angel:
  Invariant Imbedding, Difference Equations, and Elliptic Boundary Value Problems. J. Comput. Syst. Sci. 4(5): 473-491 (1970)
• 
  Sanat K. Basu:
  On the Structure of Subrecursive Degrees. J. Comput. Syst. Sci. 4(5): 452-464 (1970)
• 
  Ronald V. Book, Sheila A. Greibach, Oscar H. Ibarra, Ben Wegbreit:
  Tape-Bounded Turing Acceptors and Principal AFLs. J. Comput. Syst. Sci. 4(6): 622-625 (1970)
• 
  Ronald V. Book, Sheila A. Greibach, Ben Wegbreit:
  Time- and Tape-Bounded Turing Acceptors and AFLs. J. Comput. Syst. Sci. 4(6): 606-621 (1970)
• 
  Rina S. Cohen:
  Star Height of Certain Families of Regular Events. J. Comput. Syst. Sci. 4(3): 281-297 (1970)
• 
  Rina S. Cohen, Janusz A. Brzozowski:
  General Properties of Star Height of Regular Events. J. Comput. Syst. Sci. 4(3): 260-280 (1970)
• 
  R. Conti:
  A Convex Programming Problem in Banach Spaces and Applications to Optimum Control Theory. J. Comput. Syst. Sci. 4(1): 38-49 (1970)
• 
  John Doner:
  Tree Acceptors and Some of Their Applications. J. Comput. Syst. Sci. 4(5): 406-451 (1970)
• 
  Patrick C. Fischer, Albert R. Meyer, Arnold L. Rosenberg:
  Time-Restricted Sequence Generation. J. Comput. Syst. Sci. 4(1): 50-73 (1970)
• 
  Seymour Ginsburg, Sheila A. Greibach:
  Principal AFL. J. Comput. Syst. Sci. 4(4): 308-338 (1970)
• 
  Yehoshafat Give'on, Yechezkel Zalcstein:
  Algebraic Structures in Linear Systems Theory. J. Comput. Syst. Sci. 4(6): 539-556 (1970)
• 
  Allen A. Goldstein, James S. Meditch:
  Nonlinear Optimal Controls. J. Comput. Syst. Sci. 4(1): 29-37 (1970)
• 
  Juris Hartmanis, John E. Hopcroft:
  What makes Some Language Theory Problems Undecidable. J. Comput. Syst. Sci. 4(4): 368-376 (1970)
• 
  Kailash C. Kapur, Richard M. Van Slyke:
  Cutting Plane Algorithms and State Space Constrained Linear Optimal Control Problems. J. Comput. Syst. Sci. 4(6): 570-605 (1970)
• 
  Takumi Kasai:
  An Hierarchy Between Context-Free and Context-Sensitive Languages. J. Comput. Syst. Sci. 4(5): 492-508 (1970)
• 
  Herbert B. Keller:
  Newton's Method under Mild Differential Conditions. J. Comput. Syst. Sci. 4(1): 15-28 (1970)
• 
  Leonard Y. Liu, Peter Weiner:
  A Characterization of Semilinear Sets. J. Comput. Syst. Sci. 4(4): 299-307 (1970)
• 
  David C. Luckham, David Michael Ritchie Park, Mike Paterson:
  On Formalised Computer Programs. J. Comput. Syst. Sci. 4(3): 220-249 (1970)
• 
  Alex McNabb, Alan Schumitzky:
  Factorization of Operators II: A Nonlinear Volterra Method for Numerical Solution of Linear Fredholm Equations. J. Comput. Syst. Sci. 4(2): 103-128 (1970)
• 
  Webb Miller:
  Recursive Function Theory and Numerical Analysis. J. Comput. Syst. Sci. 4(5): 465-472 (1970)
• 
  Robin Milner:
  Equivalences on Program Schemes. J. Comput. Syst. Sci. 4(3): 205-219 (1970)
• 
  Ramon E. Moore:
  On the Stability of Linear Recurrence Equations with Arbitrary Time Lags. J. Comput. Syst. Sci. 4(4): 377-383 (1970)
• 
  Richard J. Orgass:
  Some Results Concerning Proofs of Statements about Programs. J. Comput. Syst. Sci. 4(1): 74-88 (1970)
• 
  A. L. Perrie:
  Uniform Rational Approximation with Osculatory Interpolation. J. Comput. Syst. Sci. 4(6): 509-522 (1970)
• 
  Franco P. Preparata, David E. Muller:
  Generation of Near-Optimal Universal Boolean Functions. J. Comput. Syst. Sci. 4(2): 93-102 (1970)
• 
  Gene F. Rose:
  Abstract Families of Processors. J. Comput. Syst. Sci. 4(3): 193-204 (1970)
• 
  Walter J. Savitch:
  Relationships Between Nondeterministic and Deterministic Tape Complexities. J. Comput. Syst. Sci. 4(2): 177-192 (1970)
• 
  Yoshiyuki Skawa:
  An Application of the Epsilon Technique to the Solution of Pursuit and Evasion Problems. J. Comput. Syst. Sci. 4(6): 557-569 (1970)

skipping 5 more matches