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, (see: TCS 6: 41-67 (1978))

last updated on Tue May 21 03:28:49 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page