On Decompositions of Regular Events.
Sufficient Conditions for the Success of GPS.
Halting Stack Automata.
Finite Difference Scheme for a Third Boundary Value Problem.
One Man's View of Computer Science.
Erratum: "Mechanical Theorem-Proving by Model Elimination".
On the Complexity of Undecidable Problems in Automata Theory.
An Infinite Hierarchy of Context-Free Languages.
File Organization: On the Selection of Random Access Index Points for Sequential Files.
Continuous Skeletons from Digitized Images.
A Cycle Generation Algorithm for Finite Undirected Linear Graphs.
Nonnormality and Jordan Condition Numbers of Matrices.
Analysis and Optimization of Disk Storage Devices for Time-Sharing Systems.
A Model of Replication.
MERCURY: H system for the computer-aided distribution of technical reports.
A Policy for JACM.
Computer Time-Sharing Queues with Priorities.
Erratum: "Analysis of a Drum Input/Output Queue Under Scheduled Operation in a Paged Computer System".
Toeplitz Matrix Inversion: The Algorithm of W. F. Trench.
Random Sets in Subrecursive Hierarchies.
Erratum: "Automorphisms of polyadic automata".
Automatic Question-Answering of English-Like Questions About Simple Diagrams.
Some Results on Tape-Bounded Turing Machines.
Semi-Automated Mathematics.
Analysis of a Drum Input/Output Queue Under Scheduled Operation in a Paged Computer System.
Programmed Grammars and Classes of Formal Languages.
On the Length of Programs for Computing Finite Binary Sequences: statistical considerations.
Recursive Formulas for the Evaluation of the Convolutions Integral.
