![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
Theoretical Computer Science, Volume 6
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 Culík 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 Culík 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
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.