Editors' foreword
Time-space tradeoffs for computing functions, using connectivity properties of their circuits
The subgraph homeomorphism problem
Tree transducers, L systems, and two-way machines
On formulating simultaneity for studying parallelism and synchronization
The node-deletion problem for hereditary properties is NP-complete
A near-optimal method for reasoning about action
An algorithm for imbedding cubic graphs in the torus