Abstract is missing.
- Program Schemata as Automata: Part IJoseph D. Rutledge. 7-24
- Equivalence of Programs with Structured VariablesAlfred V. Aho, Jeffrey D. Ullman. 25-31
- On Maximally Parallel SchemataRobert M. Keller. 32-50
- A Phenomenon in the Theory of SortingDavid Gale, Richard M. Karp. 51-59
- On the Efficiency of Programs in Subrecursive Formalisms (Incomplete Version, Extended Abstract)Robert L. Constable, Allan Borodin. 60-67
- On the Optimality of Some Set and Vector AlgorithmsEdward M. Reingold. 68-71
- On the Computational Power of Some Machines with Pushdown-Like StorageTiko Kameda. 72
- Tape-Bounds for Time-Bounded Turing MachinesMike Paterson. 73-75
- On Star-Free EventsYechezkel Zalcstein. 76-80
- Deux applications de la representation matricielle d une serie rationnelle non commutativeMichel Fliess. 81-87
- Fault Detection Experiments for Asynchronous Sequential MachinesAaron Ashkinazy. 88-96
- Synchronizing and Representation Problems for Sequential Machines with Masked OutputsMartin A. Fischler, Meyer Tannenbaum. 97-103
- Elimination of Static and Dynamic Hazards in Combinatorial Switching CircuitsJon G. Bredeson, Paul T. Hulina. 104-108
- Asynchronous Sequential Circuits with (2,1) Type State AssignmentsGyula Magó. 109-113
- Asynchronous Sequential Switching Circuits with Unrestricted Input ChangesStephen H. Unger. 114-121
- The Synthesis of Finite State Syntax Directed Top-Down and Bottom-Up TransducersDines Bjørner. 122-132
- Syntactic CluesDavid B. Benson. 133-138
- Deterministic Left Corner Parsing (Extended Abstract)Daniel J. Rosenkrantz, Philip M. Lewis II. 139-152
- Parsing Algorithms with BacktrackAlexander Birman, Jeffrey D. Ullman. 153-174
- Extended Precedence Languages, Bounded Right Context Languages, and Deterministic Languages (Extended Abstract)Susan L. Graham. 175-180
- Writing Stack AcceptorsJoseph Alphonso Giuliano. 181-193
- Universality in Cellular AutomataEdwin Roger Banks. 194-215
- Cellular Automata and Formal LanguagesAlvy Ray Smith III. 216-224
- Sequencing Tasks in Multiprocess Systems to Avoid DeadlocksArie Shoshani, Edward G. Coffman Jr.. 225-235
- Series-Parallel Irreducibility: Machine Oriented Definitions and ProofsBernard P. Zeigler. 236-239