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

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

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

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

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

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