@article{Strong/70,
AUTHOR = {Strong, H.},
TITLE = {Depth-bounded computation},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {4},
PAGES = {1-14},
YEAR = {1970},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Keller/70,
AUTHOR = {Keller, Herbert B.},
TITLE = {Newton's method under mild differentiability conditions},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {4},
PAGES = {15-28},
YEAR = {1970},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Goldstein-Meditch/70,
AUTHOR = {Goldstein, A.A. and Meditch, J.S.},
TITLE = {Nonlinear optimal controls},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {4},
PAGES = {29-37},
YEAR = {1970},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Conti/70,
AUTHOR = {Conti, R.},
TITLE = {A convex programming problem in Banach spaces and applications to optimum control theory},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {4},
PAGES = {38-49},
YEAR = {1970},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Fischer-Meyer-Rosenberg/70,
AUTHOR = {Fischer, Patrick C. and Meyer, Albert R. and Rosenberg, Arnold L.},
TITLE = {Time-restricted sequence generation},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {4},
PAGES = {50-73},
YEAR = {1970},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Orgass/70,
AUTHOR = {Orgass, R.J.},
TITLE = {Some results concerning proofs of statements about programs},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {4},
PAGES = {74-88},
YEAR = {1970},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Preparata-Muller/70,
AUTHOR = {Preparata, Franco P. and Muller, David E.},
TITLE = {Generation of near-optimal universal Boolean functions},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {4},
PAGES = {93-102},
YEAR = {1970},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{McNabb-Schumitzky/70,
AUTHOR = {McNabb, Alex and Schumitzky, Alan},
TITLE = {Factorization of operators II: A nonlinear Volterra method for numerical solution of linear Fredholm equations},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {4},
PAGES = {103-128},
YEAR = {1970},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Aho-Ullman-Hopcroft/70,
AUTHOR = {Aho, A.V. and Ullman, J.D. and Hopcroft, J.E.},
TITLE = {On the computational power of pushdown automata},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {4},
PAGES = {129-136},
YEAR = {1970},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Yamada-Amoroso/70,
AUTHOR = {Yamada, H. and Amoroso, S.},
TITLE = {A completeness problem for pattern generation in tesselation automata},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {4},
PAGES = {137-176},
YEAR = {1970},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Savitch/70,
AUTHOR = {Savitch, Walter},
TITLE = {Relationships between nondeterministic and deterministic tape complexities},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {4},
PAGES = {177-192},
YEAR = {1970},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Rose/70a,
AUTHOR = {Rose, Gene F.},
TITLE = {Abstract families of processors},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {4},
PAGES = {193-204},
YEAR = {1970},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Milner/70,
AUTHOR = {Milner, R.},
TITLE = {Equivalences on program schemes},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {4},
PAGES = {205-219},
YEAR = {1970},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Luckham-Park-Paterson/70,
AUTHOR = {Luckham, D.C. and Park, D.M.R. and Paterson, M.S.},
TITLE = {On formalised computer programs},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {4},
PAGES = {220-249},
YEAR = {1970},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Temam/70,
AUTHOR = {Temam, R.},
TITLE = {Remarks on the approximation of some nonlinear elliptic equations},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {4},
PAGES = {250-259},
YEAR = {1970},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Cohen-Brzozowski/70,
AUTHOR = {Cohen, Rina S. and Brzozowski, J.A.},
TITLE = {General properties of star height of regular events},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {4},
PAGES = {260-280},
YEAR = {1970},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Cohen/70,
AUTHOR = {Cohen, Rina S.},
TITLE = {Star height of certain families of regular events},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {4},
PAGES = {281-297},
YEAR = {1970},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Liu-Weiner/70,
AUTHOR = {Liu, L.Y. and Weiner, Peter},
TITLE = {A characterization of semilinear sets},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {4},
PAGES = {299-307},
YEAR = {1970},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Ginsburg-Greibach/70,
AUTHOR = {Ginsburg, Seymour and Greibach, Sheila},
TITLE = {Principal AFL},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {4},
PAGES = {308-338},
YEAR = {1970},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Thatcher/70,
AUTHOR = {Thatcher, James W.},
TITLE = {Generalized sequential machine maps},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {4},
PAGES = {339-367},
YEAR = {1970},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Hartmanis-Hopcroft/70,
AUTHOR = {Hartmanis, J. and Hopcroft, J.},
TITLE = {What makes some language theory problems undecidable},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {4},
PAGES = {368-376},
YEAR = {1970},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Moore/70,
AUTHOR = {Moore, Ramon E.},
TITLE = {On the stability of linear recurrence equations with arbitrary time lags},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {4},
PAGES = {377-383},
YEAR = {1970},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Smith/70a,
AUTHOR = {Smith, William Bridges},
TITLE = {Error detection in formal languages},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {4},
PAGES = {385-405},
YEAR = {1970},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Doner/70,
AUTHOR = {Doner, John},
TITLE = {Tree acceptors and some of their applications},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {4},
PAGES = {406-451},
YEAR = {1970},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
NOTE = {see Erratum in J. Comput.~Syst.~Sci., Vol. 5, 453},
}
@article{Basu/70,
AUTHOR = {Basu, Sanat K.},
TITLE = {On the structure of subrecursive degrees},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {4},
PAGES = {452-464},
YEAR = {1970},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Miller/70,
AUTHOR = {Miller, Webb},
TITLE = {Recursive function theory and numerical analysis},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {4},
PAGES = {465-472},
YEAR = {1970},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Angel/70,
AUTHOR = {Angel, Edward},
TITLE = {Invariant embedding, difference equations, and elliptic boundary value problems},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {4},
PAGES = {473-491},
YEAR = {1970},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Kasai/70,
AUTHOR = {Kasai, Takumi},
TITLE = {An hierarchy between context-free and context-sensitive languages},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {4},
PAGES = {492-508},
YEAR = {1970},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Perrie/70,
AUTHOR = {Perrie, A.L.},
TITLE = {Uniform rational approximation with osculatory interpolation},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {4},
PAGES = {509-522},
YEAR = {1970},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Aho-Ullman/70,
AUTHOR = {Aho, A.V. and Ullman, J.D.},
TITLE = {A characterization of two-way deterministic classes of languages},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {4},
PAGES = {523-538},
YEAR = {1970},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Giveon-Zalcstein/70,
AUTHOR = {Give'on, Y. and Zalcstein, Y.},
TITLE = {Algebraic structures in linear systems theory},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {4},
PAGES = {539-556},
YEAR = {1970},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Sakawa/70,
AUTHOR = {Sakawa, Yoshiyuri},
TITLE = {An application of the epsilon technique to the solution of pursuit and evasion problems},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {4},
PAGES = {557-569},
YEAR = {1970},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Kapur-Slyke/70,
AUTHOR = {Kapur, Kailash C. and Slyke, Richard M. van},
TITLE = {Cutting plane algorithms and state space constrained linear optimal control problems},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {4},
PAGES = {570-605},
YEAR = {1970},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Book-Greibach-Wegbreit/70a,
AUTHOR = {Book, Ronald V. and Greibach, Sheila A. and Wegbreit, Ben},
TITLE = {Time- and tape-bounded Turing acceptors and AFLs},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {4},
PAGES = {606-621},
YEAR = {1970},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Book-Greibach-Ibarra-Wegbreit/70,
AUTHOR = {Book, Ronald V. and Greibach, Sheila A. and Ibarra, Oscar H. and Wegbreit, Ben},
TITLE = {Tape-bounded Turing acceptors and principal AFLs},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {4},
PAGES = {622-625},
YEAR = {1970},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}