External Links

    Journal: J. Comput. Syst. Sci.

    Volume 6, Issue 6

    480 -- 537Robert L. Constable, Steven S. Muchnick. Subrecursive Program Schemata I & II: I. Undecidable Equivalence problems; II. Decidable Equivalence Problems
    538 -- 572David S. Wise. Generalized Overlap Resolvable Grammars and Their Parsers
    573 -- 602Alfred V. Aho, Jeffrey D. Ullman. Optimization of LR(k) Parsers
    603 -- 624Michael Machtey. Augmented Loop Languages and Classes of Computables Functions
    625 -- 638J. Ian Munro, Allan Borodin. Efficient Evaluation of Polynomial Forms
    639 -- 650Michael O. Rabin. Proving Simultaneous Positivity of Linear Forms

    Volume 6, Issue 5

    373 -- 388D. Richardson. Tessellations with Local Transformations
    389 -- 396Herbert B. Enderton. Degrees of Computational Complexity
    397 -- 418Franco P. Preparata, Raymond T. Yeh. Continuously Valued Logic
    419 -- 447David E. Muller, Raymond E. Miller. A Generalization of the Theory of Incompletely Specified Machines
    448 -- 464Serafino Amoroso, Yale N. Patt. Decision Procedures for Surjectivity and Injectivity of Parallel Maps for Tessellation Structures
    465 -- 478Jacob Katzenelson. The Markov Algorithm as a Language Parser - Linear Bounds

    Volume 6, Issue 4

    291 -- 297Michael A. Golberg. The Equivalence of Several Initial Value Methods for Solving Integral Equations
    298 -- 304Martin H. Schultz. Discrete Tchebycheff Approximation for Multivariate Splines
    305 -- 323James C. King, Robert W. Floyd. An Interpretation-Oriented Theorem Prover over Integers
    324 -- 342Vaclav Rajlich. Absolutely Parallel Grammars and Two-Way Finite State Transducers
    343 -- 353R. S. Bucy. The Riccati Equation and Its Bounds
    354 -- 372Steve F. McCormick. A General Approach to One-Step Iterative Methods with Application to Eigenvalue Problems

    Volume 6, Issue 3

    205 -- 216Philip M. Spira. Complete Linear Proofs of Systems of Linear Inequalities
    217 -- 232Donald F. Stanat. A Homomorphism Theorem for Weighted Context-Free Grammars
    233 -- 253Alvy Ray Smith III. Real-Time Language Recognition by One-Dimensional Cellular Automata
    254 -- 266J. P. Cleave. Combinatorial Systems. I. Cylindrical Problems
    267 -- 282Jürgen Eickel, Jacques Loeckx. The Relation Between Derivations and Syntactical Structures in Phrase-Structure Grammars
    283 -- 289Philippe Butzbach. Les 1-Convexes du Monoïde Commutatif N^n

    Volume 6, Issue 2

    103 -- 115David Gale, Richard M. Karp. A Phenomenon in the Theory of Sorting
    116 -- 124Mike Paterson. Tape Bounds for Time-Bounded Turing Machines
    125 -- 137Alfred V. Aho, Jeffrey D. Ullman. Equivalence of Programs with Structured Variables
    138 -- 150Tiko Kameda. Pushdown Automata with Counters
    151 -- 167Yechezkel Zalcstein. Locally Testable Languages
    168 -- 204Joseph Alphonso Giuliano. Writing Stack Acceptors

    Volume 6, Issue 1

    1 -- 8Lee E. Heindel. Computation of Powers of Multivariate Polynomials over the Integers
    9 -- 29Jonathan Goldstine. Substitution and Bounded Languages
    30 -- 76Sheila A. Greibach. Syntactic Operators on Full SemiAFLs
    77 -- 87Andy N. C. Kang. Effective Operators with No Strong Gaps
    88 -- 101V. E. Itkin, Z. Zwinogrodzki. On Program Schemata Equivalence
    runs on