Volume 14, Number 1, January 1967
Volume 14, Number 2, April 1967
- Robert C. Minnick:
A Survey of Microcellular Research.
203-241

- Leonard Kleinrock:
Time-shared Systems: a theoretical treatment.
242-261

- Jack E. Shemer:
Some Mathematical Considerations of Time-Sharing Scheduling Algorithms.
262-272

- J. T. Chu, J. C. Chueh:
Error Probability in Decision Functions for Character Recognition.
273-280

- David Martin, Gerald Estrin:
Models of Computations and Systems - Evaluation of Vertex Probabilities in Graph Models of Computations.
281-299

- William M. Waite:
Path Detection in Multidimensional Iterative Arrays.
300-310

- J. B. Moore:
A Convergent Algorithm for Solving Polynomial Algorithms.
311-315

- Cleve B. Moler:
Iterative Refinement in Floating Point.
316-321

- Manuel Blum:
A Machine-Independent Theory of the Complexity of Recursive Functions.
322-336

- W. J. Westlake:
A Uniform Random Number Generator Based on the Combination of Two Congruential Generators.
337-340

- O. G. Mancino:
Resolution by Iteration of Some Nonlinear Systems.
341-350

- Fred T. Krogh:
A Test for Instability in the Numerical Solution of Ordinary Differential Equations.
351-354

- A. Ginzburg:
A Procedure for Checking Equality of Regular Expressions.
355-362

- Colin W. Cryer:
On the Numerical Solution of a Quasi-Linear Elliptic Equation.
363-375

- Alan Natapoff:
Irreducible Topological Components of an Arbitrary Boolean Truth Function and Generation of Their Minimal Coverings.
376-381

- H. E. Pickett:
Note Concerning the Algebraic Theory of Automata.
382-388

- Seymour Ginsburg, Sheila A. Greibach, Michael A. Harrison:
One-way stack automata.
389-418

- J. M. S. Simoes Pereira:
Corrigendum: ``On the Boolean Matrix Equation M...''.
419-420

- Gerard P. Weeg:
Corrigendum: `` The Automorphism Group of the Direct Product of Strongly Related Automata''.
421

Volume 14, Number 3, July 1967
Volume 14, Number 4, October 1967
- Donald E. Knuth, Richard H. Bigelow:
Programming Language for Automata.
615-635

- Robert W. Floyd:
Nondeterministic Algorithms.
636-644

- Arnold L. Rosenberg:
Real-Time Definable Languages.
645-662

- Juris Hartmanis:
On Memory Requirements for Context-Free Language Recognition.
663-665

- Arthur Gill, J. Robert Flexer:
Periodic Decomposition of Sequential Machines.
666-676

- Stål Aanderaa, Patrick C. Fischer:
The Solvability of the Halting Problem for 2-State Post Machines.
677-682

- Bruce H. Barnes, John M. Fitzgerald:
Minimal Experiments for Input-Independent Machines.
683-686

- James R. Slagle:
Automatic Theorem Proving With Renamable and Semantic Resolution.
687-697

- Larry Wos, George A. Robinson, Daniel F. Carson, Leon Shalla:
The Concept of Demodulation in Theorem Proving.
698-709

- Robert A. Fairthorne:
Morphology of ``Information Flow''.
710-719

- Marvin B. Shapiro:
An Algorithm for Reconstructing Protein and RNA Sequences.
720-731

- Vincent G. Sigillito:
On a Continuous Method of Approximating Solutions of the Heat Equation.
732-741

- Lewis T. Reinwald, Richard M. Soland:
Conversion of Limited-Entry Decision Tables to Optimal Computer Programs II: minimum storage requirement.
742-756

- Marshall C. Pease:
Matrix Inversion Using Parallel Processing.
757-764

- Patrick L. Odell, E. P. Decell:
On Computing the Fixed-Point Probability Vector of Ergodic Transition Matrices.
765-768

- D. G. Brush, John J. Kohfeld, Gene Thomas Thompson:
Solution of Ordinary Differential Equations Using Two "Off-Step" Points.
769-784

- Allen Van Gelder:
Some New Results in Pseudo-Random Number Generation.
785-792

- Shmuel Winograd:
On the Time Required to Perform Multiplication.
793-802

Last update Sun May 26 18:16:49 2013
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page