JCSS, Volume 6

Volume 6, Number 1, February 1972

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

Volume 6, Number 2, April 1972

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

Volume 6, Number 3, June 1972

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

Volume 6, Number 4, August 1972

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

Volume 6, Number 5, October 1972

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

Volume 6, Number 6, December 1972

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