@article{Cohen-Gold/78a, AUTHOR = {Cohen, R.S. and Gold, A.Y.}, TITLE = {$\omega$-computations on Turing machines}, JOURNAL = {Theor.~Comput.~Sci.}, VOLUME = {6}, NUMBER = {1}, PAGES = {1-23}, YEAR = {1978}, PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)}, } @article{Lynch/78a, AUTHOR = {Lynch, N.A.}, TITLE = {Log space machines with multiple oracle tapes}, JOURNAL = {Theor.~Comput.~Sci.}, VOLUME = {6}, NUMBER = {1}, PAGES = {25-39}, YEAR = {1978}, PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)}, } @article{Abelson/78a, AUTHOR = {Abelson, H.}, TITLE = {Towards a theory of local and global in computation}, JOURNAL = {Theor.~Comput.~Sci.}, VOLUME = {6}, NUMBER = {1}, PAGES = {41-67}, YEAR = {1978}, PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)}, NOTE = {see Corrigendum in Theor.~Comput.~Sci.~6, 343}, } @article{Culik-Maurer-Ottmann/78, AUTHOR = {Culik II, K. and Maurer, H.A. and Ottmann, Th.}, TITLE = {On two-symbol complete EOL forms}, JOURNAL = {Theor.~Comput.~Sci.}, VOLUME = {6}, NUMBER = {1}, PAGES = {69-92}, YEAR = {1978}, PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)}, } @article{Johnson-Preparata/78, AUTHOR = {Johnson, D.S. and Preparata, F.P.}, TITLE = {The densest hemisphere problem}, JOURNAL = {Theor.~Comput.~Sci.}, VOLUME = {6}, NUMBER = {1}, PAGES = {93-107}, YEAR = {1978}, PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)}, } @article{Manna-Shamir/78, AUTHOR = {Manna, Z. and Shamir, A.}, TITLE = {The convergence of functions to fixed points of recursive definitons}, JOURNAL = {Theor.~Comput.~Sci.}, VOLUME = {6}, NUMBER = {2}, PAGES = {109-141}, YEAR = {1978}, PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)}, } @article{Culik-Maurer-Ottmann-Ruohonen-Salomaa/78, AUTHOR = {Culik II, K. and Maurer, H.A. and Ottmann, Th. and Ruohonen, K. and Salomaa, A.}, TITLE = {Isomorphism, form equivalence and sequence equivalence of PDOL forms}, JOURNAL = {Theor.~Comput.~Sci.}, VOLUME = {6}, NUMBER = {2}, PAGES = {143-173}, YEAR = {1978}, PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)}, } @article{Greibach/78a, AUTHOR = {Greibach, S.A.}, TITLE = {One way finite visit automata}, JOURNAL = {Theor.~Comput.~Sci.}, VOLUME = {6}, NUMBER = {2}, PAGES = {175-221}, YEAR = {1978}, PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)}, } @article{Rackoff/78, AUTHOR = {Rackoff, C.}, TITLE = {The covering and boundedness problems for vector addition systems}, JOURNAL = {Theor.~Comput.~Sci.}, VOLUME = {6}, NUMBER = {2}, PAGES = {223-231}, YEAR = {1978}, PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)}, } @article{Bennison-Soare/78, AUTHOR = {Bennison, V.L. and Soare, R.I.}, TITLE = {Some lowness properties and computational complexity sequences}, JOURNAL = {Theor.~Comput.~Sci.}, VOLUME = {6}, NUMBER = {3}, PAGES = {233-254}, YEAR = {1978}, PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)}, } @article{Courcelle/78c, AUTHOR = {Courcelle, B.}, TITLE = {A representation of trees by languages I}, JOURNAL = {Theor.~Comput.~Sci.}, VOLUME = {6}, NUMBER = {3}, PAGES = {255-279}, YEAR = {1978}, PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)}, } @article{Knuth-Schonhage/78, AUTHOR = {Knuth, D.E. and Sch{\"o}nhage, A.}, TITLE = {The expected linearity of a simple equivalence algorithm}, JOURNAL = {Theor.~Comput.~Sci.}, VOLUME = {6}, NUMBER = {3}, PAGES = {281-315}, YEAR = {1978}, PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)}, } @article{Bollman-Laplaza/78, AUTHOR = {Bollman, D. and Laplaza, M.}, TITLE = {Some decision problems for polynomial mappings}, JOURNAL = {Theor.~Comput.~Sci.}, VOLUME = {6}, NUMBER = {3}, PAGES = {317-325}, YEAR = {1978}, PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)}, } @article{Ehrenfeucht-Rozenberg/78b, AUTHOR = {Ehrenfeucht, A. and Rozenberg, G.}, TITLE = {EOL languages are not codings of FPOL languages}, JOURNAL = {Theor.~Comput.~Sci.}, VOLUME = {6}, NUMBER = {3}, PAGES = {327-341}, YEAR = {1978}, PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)}, }