JCSS, Volume 6

Volume 6, Number 1, February 1972

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

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

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

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

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

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