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
Copyright © Sat Nov 28 22:30:52 2009
by Michael Ley (ley@uni-trier.de)