@article{Heindel/72,
AUTHOR = {Heindel, Lee H.},
TITLE = {Computation of powers of multivariate polynomials over the integers},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {6},
PAGES = {1-8},
YEAR = {1972},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Goldstine/72,
AUTHOR = {Goldstine, Jonathan},
TITLE = {Substitution and bounded languages},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {6},
PAGES = {9-29},
YEAR = {1972},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Greibach/72a,
AUTHOR = {Greibach, Sheila A.},
TITLE = {Syntactic operators on full semiAFLs},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {6},
PAGES = {30-76},
YEAR = {1972},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Kang/72,
AUTHOR = {Kang, Andy N.C.},
TITLE = {Effective operators with no strong gaps},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {6},
PAGES = {77-87},
YEAR = {1972},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Itkin-Zwinogrodzki/72,
AUTHOR = {Itkin, V.E. and Zwinogrodzki, Z.},
TITLE = {On program schemata equivalence},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {6},
PAGES = {88-101},
YEAR = {1972},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Gale-Karp/72,
AUTHOR = {Gale, David and Karp, Richard M.},
TITLE = {A phenomenon in the theory of sorting},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {6},
PAGES = {103-115},
YEAR = {1972},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Paterson/72,
AUTHOR = {Paterson, Michael S.},
TITLE = {Tape bounds for time-bounded Turing machines},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {6},
PAGES = {116-124},
YEAR = {1972},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Aho-Ullman/72b,
AUTHOR = {Aho, A.V. and Ullman, J.D.},
TITLE = {Equivalence of programs with structured variables},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {6},
PAGES = {125-137},
YEAR = {1972},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Kameda/72,
AUTHOR = {Kameda, T.},
TITLE = {Pushdown automata with counters},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {6},
PAGES = {138-150},
YEAR = {1972},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Zalcstein/72,
AUTHOR = {Zalcstein, Yechezkel},
TITLE = {Locally testable languages},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {6},
PAGES = {151-167},
YEAR = {1972},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Giuliano/72,
AUTHOR = {Giuliano, Joseph Alphonso},
TITLE = {Writing stack acceptors},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {6},
PAGES = {168-204},
YEAR = {1972},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Spira/72,
AUTHOR = {Spira, P.M.},
TITLE = {Complete linear proofs of systems of linear inequalities},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {6},
PAGES = {205-216},
YEAR = {1972},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Stanat/72,
AUTHOR = {Stanat, Donald F.},
TITLE = {A homomorphism theorem for weighted context-free grammars},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {6},
PAGES = {217-232},
YEAR = {1972},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Smith/72a,
AUTHOR = {Smith III, Alvy Ray},
TITLE = {Real-time language recognition by one-dimensional cellular automata},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {6},
PAGES = {233-253},
YEAR = {1972},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Cleave/72,
AUTHOR = {Cleave, J.P.},
TITLE = {Combinatorial systems I. Cylindrical problems},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {6},
PAGES = {254-266},
YEAR = {1972},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Eickel-Loeckx/72,
AUTHOR = {Eickel, J{\"u}rgen and Loeckx, Jacques},
TITLE = {The relation between derivations and syntactical structures in phrase-structure grammars},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {6},
PAGES = {267-282},
YEAR = {1972},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Butzbach/72,
AUTHOR = {Butzbach, Philippe},
TITLE = {Les 1-convexes du mono{\"i}de commutatif $N^n$},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {6},
PAGES = {283-289},
YEAR = {1972},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Golberg/72,
AUTHOR = {Golberg, Michael A.},
TITLE = {The equivalence of several initial value methods for solving integral equations},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {6},
PAGES = {291-297},
YEAR = {1972},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Schultz/72a,
AUTHOR = {Schultz, Martin H.},
TITLE = {Discrete Tchebycheff approximation for multivariate splines},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {6},
PAGES = {298-304},
YEAR = {1972},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{King-Floyd/72,
AUTHOR = {King, James C. and Floyd, Robert W.},
TITLE = {An interpretation-oriented theorem prover over integers},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {6},
PAGES = {305-323},
YEAR = {1972},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Rajlich/72,
AUTHOR = {Rajlich, Vaclav},
TITLE = {Absolutely parallel grammars and two-way finite-state transducers},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {6},
PAGES = {324-342},
YEAR = {1972},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Bucy/72,
AUTHOR = {Bucy, R.S.},
TITLE = {The Riccati equation and its bounds},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {6},
PAGES = {343-353},
YEAR = {1972},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{McCormick/72,
AUTHOR = {McCormick, Steve F.},
TITLE = {A general approach to one-step iterative methods with application to eigenvalue problems},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {6},
PAGES = {354-372},
YEAR = {1972},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Richardson/72,
AUTHOR = {Richardson, D.},
TITLE = {Tessellations with local transformations},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {6},
PAGES = {373-388},
YEAR = {1972},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Enderton/72,
AUTHOR = {Enderton, H.B.},
TITLE = {Degrees of computational complexity},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {6},
PAGES = {389-396},
YEAR = {1972},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Preparata-Yeh/72,
AUTHOR = {Preparata, F.P. and Yeh, R.T.},
TITLE = {Continuously valued logic},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {6},
PAGES = {397-418},
YEAR = {1972},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Muller-Miller/72,
AUTHOR = {Muller, D.E. and Miller, R.E.},
TITLE = {A generalization of the theory of incompletely specified machines},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {6},
PAGES = {419-447},
YEAR = {1972},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Amoroso-Patt/72,
AUTHOR = {Amoroso, S. and Patt, Y.N.},
TITLE = {Decision procedures for surjectivity and injectivity of parallel maps for tessellation structures},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {6},
PAGES = {448-464},
YEAR = {1972},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Katzenelson/72,
AUTHOR = {Katzenelson, Jacob},
TITLE = {The Markov algorithm as a language parser - linear bounds},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {6},
PAGES = {465-478},
YEAR = {1972},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Constable-Muchnik/72,
AUTHOR = {Constable, R.L. and Muchnik, S.S.},
TITLE = {Subrecursive program schemata I \& II: I. Undecidable equivalence problems: II. Decidable equivalence problems},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {6},
PAGES = {480-537},
YEAR = {1972},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Wise/72,
AUTHOR = {Wise, David S.},
TITLE = {Generalized overlap resolvable grammars and their parsers},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {6},
PAGES = {538-572},
YEAR = {1972},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Aho-Ullman/72a,
AUTHOR = {Aho, A.V. and Ullman, J.D.},
TITLE = {Optimization of $LR(k)$ parsers},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {6},
PAGES = {573-602},
YEAR = {1972},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Machtey/72,
AUTHOR = {Machtey, Michael},
TITLE = {Augmented loop languages and classes of computables functions},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {6},
PAGES = {603-624},
YEAR = {1972},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Munro-Borodin/72,
AUTHOR = {Munro, Ian and Borodin, Allan},
TITLE = {Efficient evaluation of polynomial forms},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {6},
PAGES = {625-638},
YEAR = {1972},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Rabin/72,
AUTHOR = {Rabin, Michael O.},
TITLE = {Proving simultaneous positivity of linear forms},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {6},
PAGES = {639-650},
YEAR = {1972},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}