@article{Pasquali/69,
AUTHOR = {Pasquali, A.},
TITLE = {On the convergence of nonlinear simultaneous displacements},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {3},
PAGES = {1-7},
YEAR = {1969},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Breuer/69,
AUTHOR = {Breuer, Melvin A.},
TITLE = {Combinatorial equivalence of (0,1) circulant matrices},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {3},
PAGES = {8-23},
YEAR = {1969},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Yavin/69,
AUTHOR = {Yavin, Y.},
TITLE = {Optimal control for a class of distributed parameter systems where the cost functions are norms},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {3},
PAGES = {24-36},
YEAR = {1969},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Aho-Ullman/69,
AUTHOR = {Aho, A.V. and Ullman, J.D.},
TITLE = {Syntax directed translations and the pushdown assembler},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {3},
PAGES = {37-56},
YEAR = {1969},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Neustadt/69,
AUTHOR = {Neustadt, Lucien W.},
TITLE = {A general theory of extremals},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {3},
PAGES = {57-92},
YEAR = {1969},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Manna/69a,
AUTHOR = {Manna, Zohar},
TITLE = {The correctness of programs},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {3},
PAGES = {119-127},
YEAR = {1969},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Butz/69,
AUTHOR = {Butz, Arthur R.},
TITLE = {Convergence with Hilbert's space filling curve},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {3},
PAGES = {128-146},
YEAR = {1969},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Karp-Miller/69,
AUTHOR = {Karp, R.M. and Miller, R.E.},
TITLE = {Parallel program schemata},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {3},
PAGES = {147-195},
YEAR = {1969},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Greibach/69,
AUTHOR = {Greibach, Sheila},
TITLE = {Checking automata and one-way stack languages},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {3},
PAGES = {196-217},
YEAR = {1969},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Dennis-Goldstein/69,
AUTHOR = {Dennis, J.E. and Goldstein, A.A.},
TITLE = {Cubature and Tchakaloff cone},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {3},
PAGES = {218-220},
YEAR = {1969},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Ito/69,
AUTHOR = {Ito, Ryuichi},
TITLE = {Every semilinear set is a finite union of disjoint linear sets},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {3},
PAGES = {221-231},
YEAR = {1969},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Greibach-Hopcroft/69,
AUTHOR = {Greibach, Sheila and Hopcroft, John},
TITLE = {Scattered context grammars},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {3},
PAGES = {233-247},
YEAR = {1969},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Blum/69a,
AUTHOR = {Blum, E.K.},
TITLE = {Towards a theory of semantics and compilers for programming languages},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {3},
PAGES = {248-275},
YEAR = {1969},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Mager/69,
AUTHOR = {Mager, Georg},
TITLE = {Writing pushdown acceptors},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {3},
PAGES = {276-318},
YEAR = {1969},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Aho-Ullman/69a,
AUTHOR = {Aho, A.V. and Ullman, J.D.},
TITLE = {Properties of syntax directed translations},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {3},
PAGES = {319-334},
YEAR = {1969},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Grigoriadis-Ritter/69,
AUTHOR = {Grigoriadis, M.D. and Ritter, K.},
TITLE = {A decomposition method for structured linear and nonlinear programs},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {3},
PAGES = {335-360},
YEAR = {1969},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Kaplan/69,
AUTHOR = {Kaplan, Donald M.},
TITLE = {Regular expressions and the equivalence of programs},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {3},
PAGES = {361-386},
YEAR = {1969},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Morris/69,
AUTHOR = {Morris, Alfred H., Jr.},
TITLE = {Elementary indefinite integration theory for the computer},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {3},
PAGES = {387-408},
YEAR = {1969},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Mizumoto-Toyoda-Tanaka/69,
AUTHOR = {Mizumoto, Masaharu and Toyoda, Junichi and Tanaka, Kohkichi},
TITLE = {Some considerations on fuzzy automata},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {3},
PAGES = {409-422},
YEAR = {1969},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Baer-Spanier/69,
AUTHOR = {Baer, R.M. and Spanier, E.H.},
TITLE = {Referenced automata and metaregular families},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {3},
PAGES = {423-446},
YEAR = {1969},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Cleave/69,
AUTHOR = {Cleave, John},
TITLE = {The primitive recursive analysis of ordinary differential equations and the complexity of their solutions},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {3},
PAGES = {447-455},
YEAR = {1969},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Wegbreit/69,
AUTHOR = {Wegbreit, Ben},
TITLE = {A generator of context-sensitive languages},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {3},
PAGES = {456-461},
YEAR = {1969},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}