JCSS, Volume 4
Volume 4, Number 1, February 1970
H. Raymond Strong: Depth-Bounded Computation. 1-14- Herbert B. Keller: Newton's Method under Mild Differential Conditions. 15-28
- R. Conti: A Convex Programming Problem in Banach Spaces and Applications to Optimum Control Theory. 38-49
- Patrick C. Fischer, Albert R. Meyer, Arnold L. Rosenberg: Time-Restricted Sequence Generation. 50-73
- Richard J. Orgass: Some Results Concerning Proofs of Statements about Programs. 74-88
Volume 4, Number 2, April 1970
- Franco P. Preparata, David E. Muller: Generation of Near-Optimal Universal Boolean Functions. 93-102
- Alex McNabb, Alan Schumitzky: Factorization of Operators II: A Nonlinear Volterra Method for Numerical Solution of Linear Fredholm Equations. 103-128
- Alfred V. Aho, Jeffrey D. Ullman, John E. Hopcroft: On the Computational Power of Pushdown Automata. 129-136
- Hisao Yamada, Serafino Amoroso: A Completeness Problem for Pattern Generation in Tessellation Automata. 137-176
- Walter J. Savitch: Relationships Between Nondeterministic and Deterministic Tape Complexities. 177-192
Volume 4, Number 3, June 1970
- Gene F. Rose: Abstract Families of Processors. 193-204
- Robin Milner: Equivalences on Program Schemes. 205-219
- David C. Luckham, David Michael Ritchie Park, Mike Paterson: On Formalised Computer Programs. 220-249
- R. Temam: Remarks on the Approximation of Some Nonlinear Elliptic Equations. 250-259
- Rina S. Cohen: Star Height of Certain Families of Regular Events. 281-297
Volume 4, Number 4, August 1970
- James W. Thatcher: Generalized Sequential Machine Maps. 339-367
- Ramon E. Moore: On the Stability of Linear Recurrence Equations with Arbitrary Time Lags. 377-383
Volume 4, Number 5, October 1970
- William Bridges Smith: Error Detection in Formal Languages. 385-405
- John Doner: Tree Acceptors and Some of Their Applications. 406-451
- Sanat K. Basu: On the Structure of Subrecursive Degrees. 452-464
- Webb Miller: Recursive Function Theory and Numerical Analysis. 465-472
- Edward Angel: Invariant Imbedding, Difference Equations, and Elliptic Boundary Value Problems. 473-491
- Takumi Kasai: An Hierarchy Between Context-Free and Context-Sensitive Languages. 492-508
Volume 4, Number 6, December 1970
- A. L. Perrie: Uniform Rational Approximation with Osculatory Interpolation. 509-522
- Alfred V. Aho, Jeffrey D. Ullman: A Characterization of Two-Way Deterministic Classes of Languages. 523-538
- Yoshiyuki Skawa: An Application of the Epsilon Technique to the Solution of Pursuit and Evasion Problems. 557-569
- Kailish C. Kapur, Richard M. Van Slyke: Cutting Plane Algorithms and State Space Constrained Linear Optimal Control Problems. 570-605
- Ronald V. Book, Sheila A. Greibach, Ben Wegbreit: Time- and Tape-Bounded Turing Acceptors and AFLs. 606-621
- Ronald V. Book, Sheila A. Greibach, Oscar H. Ibarra, Ben Wegbreit: Tape-Bounded Turing Acceptors and Principal AFLs. 622-625
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-18T214307 by the dblp team