External Links

    Journal: J. Comput. Syst. Sci.

    Volume 4, Issue 6

    509 -- 522A. L. Perrie. Uniform Rational Approximation with Osculatory Interpolation
    523 -- 538Alfred V. Aho, Jeffrey D. Ullman. A Characterization of Two-Way Deterministic Classes of Languages
    539 -- 556Yehoshafat Give on, Yechezkel Zalcstein. Algebraic Structures in Linear Systems Theory
    557 -- 569Yoshiyuki Skawa. An Application of the Epsilon Technique to the Solution of Pursuit and Evasion Problems
    570 -- 605Kailish C. Kapur, Richard M. Van Slyke. Cutting Plane Algorithms and State Space Constrained Linear Optimal Control Problems
    606 -- 621Ronald V. Book, Sheila A. Greibach, Ben Wegbreit. Time- and Tape-Bounded Turing Acceptors and AFLs
    622 -- 625Ronald V. Book, Sheila A. Greibach, Oscar H. Ibarra, Ben Wegbreit. Tape-Bounded Turing Acceptors and Principal AFLs

    Volume 4, Issue 5

    385 -- 405William Bridges Smith. Error Detection in Formal Languages
    406 -- 451John Doner. Tree Acceptors and Some of Their Applications
    452 -- 464Sanat K. Basu. On the Structure of Subrecursive Degrees
    465 -- 472Webb Miller. Recursive Function Theory and Numerical Analysis
    473 -- 491Edward Angel. Invariant Imbedding, Difference Equations, and Elliptic Boundary Value Problems
    492 -- 508Takumi Kasai. An Hierarchy Between Context-Free and Context-Sensitive Languages

    Volume 4, Issue 4

    299 -- 307Leonard Y. Liu, Peter Weiner. A Characterization of Semilinear Sets
    308 -- 338Seymour Ginsburg, Sheila A. Greibach. Principal AFL
    339 -- 367James W. Thatcher. Generalized Sequential Machine Maps
    368 -- 376Juris Hartmanis, John E. Hopcroft. What makes Some Language Theory Problems Undecidable
    377 -- 383Ramon E. Moore. On the Stability of Linear Recurrence Equations with Arbitrary Time Lags

    Volume 4, Issue 3

    193 -- 204Gene F. Rose. Abstract Families of Processors
    205 -- 219Robin Milner. Equivalences on Program Schemes
    220 -- 249David C. Luckham, David Michael Ritchie Park, Mike Paterson. On Formalised Computer Programs
    250 -- 259R. Temam. Remarks on the Approximation of Some Nonlinear Elliptic Equations
    260 -- 280Rina S. Cohen, Janusz A. Brzozowski. General Properties of Star Height of Regular Events
    281 -- 297Rina S. Cohen. Star Height of Certain Families of Regular Events

    Volume 4, Issue 2

    93 -- 102Franco P. Preparata, David E. Muller. Generation of Near-Optimal Universal Boolean Functions
    103 -- 128Alex McNabb, Alan Schumitzky. Factorization of Operators II: A Nonlinear Volterra Method for Numerical Solution of Linear Fredholm Equations
    129 -- 136Alfred V. Aho, Jeffrey D. Ullman, John E. Hopcroft. On the Computational Power of Pushdown Automata
    137 -- 176Hisao Yamada, Serafino Amoroso. A Completeness Problem for Pattern Generation in Tessellation Automata
    177 -- 192Walter J. Savitch. Relationships Between Nondeterministic and Deterministic Tape Complexities

    Volume 4, Issue 1

    1 -- 14H. Raymond Strong. Depth-Bounded Computation
    15 -- 28Herbert B. Keller. Newton s Method under Mild Differential Conditions
    29 -- 37Allen A. Goldstein, James S. Meditch. Nonlinear Optimal Controls
    38 -- 49R. Conti. A Convex Programming Problem in Banach Spaces and Applications to Optimum Control Theory
    50 -- 73Patrick C. Fischer, Albert R. Meyer, Arnold L. Rosenberg. Time-Restricted Sequence Generation
    74 -- 88Richard J. Orgass. Some Results Concerning Proofs of Statements about Programs
    runs on