[Front cover] (PDF)

Breaker Page (PDF)

Editor's Notice (PDF)

Error Correction in Residue Arithmetic (Abstract)

Rollback and Recovery Strategies for Computer Programs (Abstract)

Detection of Multiple Faults in Combinational Logic Networks (Abstract)

A Computer Program for the Synthesis of Switching Circuits by Decomposition (Abstract)

Design of Optimal Switching Networks by Integer Programming (Abstract)

A Recurrence Technique for Expanding a Function in Spherical Harmonics (Abstract)

Universal Logic Modules of a New Type (Abstract)

Simple Binary Identification Problems (Abstract)

A Compact Definition of Walsh Functions (Abstract)

On the Synthesis of Finite-State Machines from Samples of Their Behavior (Abstract)

An Improved Bound on the Length of Checking Experiments for Sequential Machines with Counter Cycles (Abstract)

Minimal Input-Memory and Output-Memory Finite-State Machines (Abstract)

A Result on Set Extraction and Application to Covering-Closure Tables (Abstract)

On the Realization of Functions in N-Valued Logic (Abstract)

An Improved Lower Bound for Sorting Networks (Abstract)

The Number of State Assignments for Sequential Machines (Abstract)

Comments on ``Sequential Machine Identification'' (Abstract)

Contributors (PDF)

Book Review (PDF)

Abstracts of Current Computer Literature (PDF)

Descriptor-in-Context Index (PDF)

Identifier Index (PDF)

Author Index (PDF)

Information for Authors (PDF)

[Front cover] (PDF)