@article{Cohen-Brzozowski/71, AUTHOR = {Cohen, Rina S. and Brzozowski, J.A.}, TITLE = {Dot-depth of star-free events}, JOURNAL = {J. Comput.~Syst.~Sci.}, VOLUME = {5}, PAGES = {1-16}, YEAR = {1971}, PUBLISHER = {Academic Press}, ADDRESS = {New York-San Francisco-London-San Diego}, } @article{Aberth/71, AUTHOR = {Aberth, Oliver}, TITLE = {The concept of effective method applied to computational problems of linear algebra}, JOURNAL = {J. Comput.~Syst.~Sci.}, VOLUME = {5}, PAGES = {17-25}, YEAR = {1971}, PUBLISHER = {Academic Press}, ADDRESS = {New York-San Francisco-London-San Diego}, } @article{Carlyle-Paz/71, AUTHOR = {Carlyle, J.W. and Paz, A.}, TITLE = {Realizations by stochastic finite automata}, JOURNAL = {J. Comput.~Syst.~Sci.}, VOLUME = {5}, PAGES = {26-40}, YEAR = {1971}, PUBLISHER = {Academic Press}, ADDRESS = {New York-San Francisco-London-San Diego}, } @article{Brzozowski-Culik-Gabrielian/71, AUTHOR = {Brzozowski, J.A. and {\v{C}}ul{\'i}k II, K. and Gabrielian, A.}, TITLE = {Classification of non counting events}, JOURNAL = {J. Comput.~Syst.~Sci.}, VOLUME = {5}, PAGES = {41-53}, YEAR = {1971}, PUBLISHER = {Academic Press}, ADDRESS = {New York-San Francisco-London-San Diego}, } @article{Hartmanis-Lewis/71, AUTHOR = {Hartmanis, J. and Lewis, F.}, TITLE = {The use of lists in the study of undecidable problems in automata theory}, JOURNAL = {J. Comput.~Syst.~Sci.}, VOLUME = {5}, PAGES = {54-66}, YEAR = {1971}, PUBLISHER = {Academic Press}, ADDRESS = {New York-San Francisco-London-San Diego}, } @article{Engeler/71, AUTHOR = {Engeler, Erwin}, TITLE = {Algorithmic approximations}, JOURNAL = {J. Comput.~Syst.~Sci.}, VOLUME = {5}, PAGES = {67-82}, YEAR = {1971}, PUBLISHER = {Academic Press}, ADDRESS = {New York-San Francisco-London-San Diego}, } @article{Goldstein-Johnson-Spiess/71, AUTHOR = {Goldstein, A.A. and Johnson, F.C. and Spiess, J{\"u}rgen}, TITLE = {On the isolation of the roots of a non-linear operator}, JOURNAL = {J. Comput.~Syst.~Sci.}, VOLUME = {5}, PAGES = {83-87}, YEAR = {1971}, PUBLISHER = {Academic Press}, ADDRESS = {New York-San Francisco-London-San Diego}, } @article{Ibarra/71, AUTHOR = {Ibarra, Oscar H.}, TITLE = {Characterizations of some tape and time complexity classes of Turing machines in terms of multihead and auxiliary stack automata}, JOURNAL = {J. Comput.~Syst.~Sci.}, VOLUME = {5}, PAGES = {88-117}, YEAR = {1971}, PUBLISHER = {Academic Press}, ADDRESS = {New York-San Francisco-London-San Diego}, } @article{Ausiello/71, AUTHOR = {Ausiello, Giorgio}, TITLE = {Abstract computational complexity and cycling computations}, JOURNAL = {J. Comput.~Syst.~Sci.}, VOLUME = {5}, PAGES = {118-128}, YEAR = {1971}, PUBLISHER = {Academic Press}, ADDRESS = {New York-San Francisco-London-San Diego}, } @article{Kimura/71, AUTHOR = {Kimura, Izumi}, TITLE = {Extensions of asynchronous circuits and the delay problem. Part II: Spike-free extensions and the delay problem of the second kind}, JOURNAL = {J. Comput.~Syst.~Sci.}, VOLUME = {5}, PAGES = {129-162}, YEAR = {1971}, PUBLISHER = {Academic Press}, ADDRESS = {New York-San Francisco-London-San Diego}, } @article{Balakrishnan/71, AUTHOR = {Balakrishnan, A.V.}, TITLE = {A computational approach to the maximum principle}, JOURNAL = {J. Comput.~Syst.~Sci.}, VOLUME = {5}, PAGES = {163-191}, YEAR = {1971}, PUBLISHER = {Academic Press}, ADDRESS = {New York-San Francisco-London-San Diego}, } @article{Rosenberg/71, AUTHOR = {Rosenberg, Arnold L.}, TITLE = {Data graphs and addressing schemes}, JOURNAL = {J. Comput.~Syst.~Sci.}, VOLUME = {5}, PAGES = {193-238}, YEAR = {1971}, PUBLISHER = {Academic Press}, ADDRESS = {New York-San Francisco-London-San Diego}, } @article{Manna/71, AUTHOR = {Manna, Zohar}, TITLE = {Mathematical theory of partial correctness}, JOURNAL = {J. Comput.~Syst.~Sci.}, VOLUME = {5}, PAGES = {239-253}, YEAR = {1971}, PUBLISHER = {Academic Press}, ADDRESS = {New York-San Francisco-London-San Diego}, } @article{Strong/71, AUTHOR = {Strong, H.R., Jr.}, TITLE = {Translating recursion equations into flow charts}, JOURNAL = {J. Comput.~Syst.~Sci.}, VOLUME = {5}, PAGES = {254-285}, YEAR = {1971}, PUBLISHER = {Academic Press}, ADDRESS = {New York-San Francisco-London-San Diego}, } @article{Lewis/71, AUTHOR = {Lewis, F.D.}, TITLE = {The enumerability and invariance of complexity classes}, JOURNAL = {J. Comput.~Syst.~Sci.}, VOLUME = {5}, PAGES = {286-303}, YEAR = {1971}, PUBLISHER = {Academic Press}, ADDRESS = {New York-San Francisco-London-San Diego}, } @article{Ullian/71, AUTHOR = {Ullian, J.S.}, TITLE = {Three theorems concerning principal AFLs}, JOURNAL = {J. Comput.~Syst.~Sci.}, VOLUME = {5}, PAGES = {304-314}, YEAR = {1971}, PUBLISHER = {Academic Press}, ADDRESS = {New York-San Francisco-London-San Diego}, } @article{Constable/71a, AUTHOR = {Constable, Robert L.}, TITLE = {Subrecursive programming languages II. On program size}, JOURNAL = {J. Comput.~Syst.~Sci.}, VOLUME = {5}, PAGES = {315-334}, YEAR = {1971}, PUBLISHER = {Academic Press}, ADDRESS = {New York-San Francisco-London-San Diego}, } @article{Revesz/71, AUTHOR = {R{\'e}v{\'e}sz, Gy{\"o}rgy}, TITLE = {Unilateral context sensitive grammars and left-to-right parsing}, JOURNAL = {J. Comput.~Syst.~Sci.}, VOLUME = {5}, PAGES = {337-352}, YEAR = {1971}, PUBLISHER = {Academic Press}, ADDRESS = {New York-San Francisco-London-San Diego}, } @article{Gruska/71b, AUTHOR = {Gruska, Jozef}, TITLE = {A characterization of context-free languages}, JOURNAL = {J. Comput.~Syst.~Sci.}, VOLUME = {5}, PAGES = {353-364}, YEAR = {1971}, PUBLISHER = {Academic Press}, ADDRESS = {New York-San Francisco-London-San Diego}, } @article{Ginsburg-Spanier/71, AUTHOR = {Ginsburg, Seymour and Spanier, Edwin H.}, TITLE = {AFL with the semilinear property}, JOURNAL = {J. Comput.~Syst.~Sci.}, VOLUME = {5}, PAGES = {365-396}, YEAR = {1971}, PUBLISHER = {Academic Press}, ADDRESS = {New York-San Francisco-London-San Diego}, } @article{Book/71, AUTHOR = {Book, Ronald V.}, TITLE = {Time-bounded grammars and their languages}, JOURNAL = {J. Comput.~Syst.~Sci.}, VOLUME = {5}, PAGES = {397-429}, YEAR = {1971}, PUBLISHER = {Academic Press}, ADDRESS = {New York-San Francisco-London-San Diego}, } @article{Rosen/71, AUTHOR = {Rosen, J.B.}, TITLE = {Minimum error bounds for multidimensional spline approximation}, JOURNAL = {J. Comput.~Syst.~Sci.}, VOLUME = {5}, PAGES = {430-452}, YEAR = {1971}, PUBLISHER = {Academic Press}, ADDRESS = {New York-San Francisco-London-San Diego}, } @article{Amoroso-Cooper/71, AUTHOR = {Amoroso, Serafino and Cooper, Gerald}, TITLE = {Tessellation structures for reproduction of arbitrary patterns}, JOURNAL = {J. Comput.~Syst.~Sci.}, VOLUME = {5}, PAGES = {455-464}, YEAR = {1971}, PUBLISHER = {Academic Press}, ADDRESS = {New York-San Francisco-London-San Diego}, } @article{Grzymala-Busse/71, AUTHOR = {Grzymala-Busse, Jerzy W.}, TITLE = {Operation-preserving functions and autononous factors of finite automata}, JOURNAL = {J. Comput.~Syst.~Sci.}, VOLUME = {5}, PAGES = {465-474}, YEAR = {1971}, PUBLISHER = {Academic Press}, ADDRESS = {New York-San Francisco-London-San Diego}, } @article{Fleck/71, AUTHOR = {Fleck, A.C.}, TITLE = {Towards a theory of data structures}, JOURNAL = {J. Comput.~Syst.~Sci.}, VOLUME = {5}, PAGES = {475-488}, YEAR = {1971}, PUBLISHER = {Academic Press}, ADDRESS = {New York-San Francisco-London-San Diego}, } @article{Herman/71, AUTHOR = {Herman, G.T.}, TITLE = {Every finite sequential machine is linearly realizable}, JOURNAL = {J. Comput.~Syst.~Sci.}, VOLUME = {5}, PAGES = {489-510}, YEAR = {1971}, PUBLISHER = {Academic Press}, ADDRESS = {New York-San Francisco-London-San Diego}, } @article{Commoner-Holt/71, AUTHOR = {Commoner, F. and Holt, A.W.}, TITLE = {Marked directed graphs}, JOURNAL = {J. Comput.~Syst.~Sci.}, VOLUME = {5}, PAGES = {511-523}, YEAR = {1971}, PUBLISHER = {Academic Press}, ADDRESS = {New York-San Francisco-London-San Diego}, } @article{Nicholson/71, AUTHOR = {Nicholson, Peter J.}, TITLE = {Algebraic theory of finite Fourier transforms}, JOURNAL = {J. Comput.~Syst.~Sci.}, VOLUME = {5}, PAGES = {524-547}, YEAR = {1971}, PUBLISHER = {Academic Press}, ADDRESS = {New York-San Francisco-London-San Diego}, } @article{Siromoney/71, AUTHOR = {Siromoney, Rani}, TITLE = {Finite-turn checking automata}, JOURNAL = {J. Comput.~Syst.~Sci.}, VOLUME = {5}, PAGES = {549-559}, YEAR = {1971}, PUBLISHER = {Academic Press}, ADDRESS = {New York-San Francisco-London-San Diego}, } @article{Pratt/71, AUTHOR = {Pratt, Terrence W.}, TITLE = {Pair grammars, graph languages and string-to-graph translations}, JOURNAL = {J. Comput.~Syst.~Sci.}, VOLUME = {5}, PAGES = {560-595}, YEAR = {1971}, PUBLISHER = {Academic Press}, ADDRESS = {New York-San Francisco-London-San Diego}, } @article{Culik/71, AUTHOR = {{\v{C}}ul{\'i}k II, Karel}, TITLE = {Abstract families of relations}, JOURNAL = {J. Comput.~Syst.~Sci.}, VOLUME = {5}, PAGES = {596-606}, YEAR = {1971}, PUBLISHER = {Academic Press}, ADDRESS = {New York-San Francisco-London-San Diego}, } @article{Fenner-Loizou/71, AUTHOR = {Fenner, Trevor I. and Loizou, Georghios}, TITLE = {On fully indecomposable matrices}, JOURNAL = {J. Comput.~Syst.~Sci.}, VOLUME = {5}, PAGES = {607-622}, YEAR = {1971}, PUBLISHER = {Academic Press}, ADDRESS = {New York-San Francisco-London-San Diego}, } @article{Ostrand/71, AUTHOR = {Ostrand, Thomas J.}, TITLE = {Pattern reproduction in tessellation automata of arbitrary dimension}, JOURNAL = {J. Comput.~Syst.~Sci.}, VOLUME = {5}, PAGES = {623-628}, YEAR = {1971}, PUBLISHER = {Academic Press}, ADDRESS = {New York-San Francisco-London-San Diego}, } @article{McWhirter/71, AUTHOR = {McWhirter, I.P.}, TITLE = {Substitution expressions}, JOURNAL = {J. Comput.~Syst.~Sci.}, VOLUME = {5}, PAGES = {629-637}, YEAR = {1971}, PUBLISHER = {Academic Press}, ADDRESS = {New York-San Francisco-London-San Diego}, }