Volume 25, Number 1, January 1978
Luigi Logrippo:
Renamings and Economy of Memory in Program Schemata. 10-22
Ronald V. Book:
Simple Representations of Certain Classes of Languages. 23-31
W. Morven Gentleman:
Some Complexity Results for Matrix Computations on Parallel Processors. 112-115
Oscar H. Ibarra:
Reversal-Bounded Multicounter Machines and Their Decision Problems. 116-133
Mitchell Wand:
A New Incompleteness Result for Hoare's System. 168-175
Volume 25, Number 2, April 1978
Edward C. Horvath:
Stable Sorting in Asymptotically Optimal Time and Extra Space. 177-199
John M. Mulvey:
Pivot Strategies for Primal-Simplex Network Codes. 266-270
David R. Musser:
On the Efficiency of a Polynomial Irreducibility Test. 271-282
David Maier:
The Complexity of Some Problems on Subsequences and Supersequences. 322-336
Volume 25, Number 3, July 1978
Herbert S. Wilf:
A Global Bisection Algorithm for Computing the Zeros of Polynomials in the Complex Plane. 415-420
Jon T. Butler:
Analysis and Design of Fanout-Free Networks of Positive Symmetric Gates. 481-498
Volume 25, Number 4, October 1978
Leonidas J. Guibas:
The Analysis of Hashing Techniques That Exhibit k-ary Clustering. 544-555
Daniel Brand:
Path Calculus in Program Verification. 630-651
Ravi Sethi:
Conditional Expressions with Equality Tests. 667-674