Volume 6,
1978
- Rina S. Cohen, Arie Y. Gold:
omega-Computations on Turing Machines.
1-23
- Nancy A. Lynch:
Log Space Machines with Multiple Oracle Tapes.
25-39
- Harold Abelson:
Towards a Theory of Local and Global in Computation.
41-67
- Karel Culik II, Hermann A. Maurer, Thomas Ottmann:
On Two-Symbol Complete E0L Forms.
69-92
- David S. Johnson, Franco P. Preparata:
The Densest Hemisphere Problem.
93-107
- Zohar Manna, Adi Shamir:
The Convergence of Functions to Fixedpoints of Recursive Definitions.
109-141
- Karel Culik II, Hermann A. Maurer, Thomas Ottmann, Keijo Ruohonen, Arto Salomaa:
Isomorphism, Form Equivalence and Sequence Equivalence of PD0L Forms.
143-173
- Sheila A. Greibach:
One Way Finite Visit Automata.
175-221
- Charles Rackoff:
The Covering and Boundedness Problems for Vector Addition Systems.
223-231
- Victor L. Bennison, Robert I. Soare:
Some Lowness Properties and Computational Complexity Sequences.
233-254
- Bruno Courcelle:
A Representation of Trees by Languages I.
255-279
- Donald E. Knuth, Arnold Schönhage:
The Expected Linearity of a Simple Equivalence Algorithm.
281-315
- Dorothy Bollman, Miguel Laplaza:
Some Decision Problems for Polynomial Mappings.
317-325
- Andrzej Ehrenfeucht, Grzegorz Rozenberg:
E0L Languages are not Codings of FP0L Languages.
327-341
- Harold Abelson:
Corrigendum: Towards a Theory of Local and Global in Computation.
343 ->TCS 6: 41-67 (1978)
Copyright © Fri Mar 12 17:33:05 2010
by Michael Ley (ley@uni-trier.de)
