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