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
Volume 6, Number 2, April 1972
- Mike Paterson: Tape Bounds for Time-Bounded Turing Machines. 116-124
- Tiko Kameda: Pushdown Automata with Counters. 138-150
- Yechezkel Zalcstein: Locally Testable Languages. 151-167
- Joseph Alphonso Giuliano: Writing Stack Acceptors. 168-204
Volume 6, Number 3, June 1972
- 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
Volume 6, Number 4, August 1972
- 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
- 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
Volume 6, Number 5, October 1972
- D. Richardson: Tessellations with Local Transformations. 373-388
- Herbert B. Enderton: Degrees of Computational Complexity. 389-396
- 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
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
- David S. Wise: Generalized Overlap Resolvable Grammars and Their Parsers. 538-572
- Michael Machtey: Augmented Loop Languages and Classes of Computables Functions. 603-624
- Michael O. Rabin: Proving Simultaneous Positivity of Linear Forms. 639-650
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2014-07-30T202630 by the dblp team