Volume 1, Number 1, 1975
Mike Paterson:
Complexity of Monotone Networks for Boolean Matrix Product.
13-20
Volker Strassen:
Die Berechnungskomplexität der Symbolischen Differentiation von Interpolationspolynomen.
21-25
Gérard P. Huet:
A Unification Algorithm for Typed lambda-Calculus.
27-57
Volume 1, Number 2, 1975
Antonio Restivo:
A Combinatorial Property of Codes Having Finite Synchronization Delay.
95-101
Volume 1, Number 3, 1976
Robert Moll:
An Operator Embedding Theorem for Complexity Classes of Recursive Functions.
193-198
Ronald V. Book:
Translational Lemmas, Polynomial Time, and (log n)^j-Space.
215-226
Maurice Mignotte:
Algorithmes rélatifs á la décomposition dds oolynômes.
227-235
Volume 1, Number 4, 1976
Sheila A. Greibach:
Remarks on the Complexity of Nondeterministic Counter Languages.
269-288
Juhani Karhumäki:
Two Theorems Concerning Recognizable N-Subsets of sigma*.
317-323