@article{Gill-Kou/74,
AUTHOR = {Gill, Arthur and Kou, Lawrence T.},
TITLE = {Multiple-entry finite automata},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {9},
PAGES = {1-19},
YEAR = {1974},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Meyer/74b,
AUTHOR = {Meyer, Gerard G.L.},
TITLE = {Algorithm model for penalty functions-type iterative procedures},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {9},
PAGES = {20-30},
YEAR = {1974},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Maruoka-Kimura/74,
AUTHOR = {Maruoka, Akira and Kimura, Masayuki},
TITLE = {Completeness problem of one-dimensional binary scope-3 tessellation automata},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {9},
PAGES = {31-47},
YEAR = {1974},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Norris/74,
AUTHOR = {Norris, Eugene M.},
TITLE = {Difunctionally induced state machines},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {9},
PAGES = {48-55},
YEAR = {1974},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Hwang/74,
AUTHOR = {Hwang, Kai},
TITLE = {Cyclic decomposition of finite stochastic systems},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {9},
PAGES = {56-68},
YEAR = {1974},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Robertson/74b,
AUTHOR = {Robertson, Edward L.},
TITLE = {Complexity classes of partial recursive functions},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {9},
PAGES = {69-87},
YEAR = {1974},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Ginsburg-Spanier/74,
AUTHOR = {Ginsburg, Seymour and Spanier, Edwin H.S.},
TITLE = {On incomparable abstract family of languages (AFL)},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {9},
PAGES = {88-108},
YEAR = {1974},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Heindel/74,
AUTHOR = {Heindel, Lee E.},
TITLE = {Congruence arithmetic algorithms for polynomial real zero detrmination},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {9},
PAGES = {109-128},
YEAR = {1974},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Rouchaleau-Wyman/74,
AUTHOR = {Rouchaleau, Yves and Wyman, Bostwick F.},
TITLE = {Linear dynamical systems over integral domains},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {9},
PAGES = {129-142},
YEAR = {1974},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Lynch/74,
AUTHOR = {Lynch, Nancy},
TITLE = {Approximations to the halting problem},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {9},
PAGES = {143-150},
YEAR = {1974},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Daley/74,
AUTHOR = {Daley, R.P.},
TITLE = {The extent and density of sequences within the minimal-program complexity hierarchies},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {9},
PAGES = {151-163},
YEAR = {1974},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Kosaraju/74,
AUTHOR = {Kosaraju, S. Rao},
TITLE = {1-way stack automaton with jumps},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {9},
PAGES = {164-176},
YEAR = {1974},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Kasal/74,
AUTHOR = {Kasal, Takumi},
TITLE = {Translatability of flowcharts into while programs},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {9},
PAGES = {177-195},
YEAR = {1974},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Elias/74a,
AUTHOR = {Elias, Peter},
TITLE = {Minimum times and memories needed to compute the values of a function},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {9},
PAGES = {196-212},
YEAR = {1974},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Book/74,
AUTHOR = {Book, Ronald V.},
TITLE = {Comparing complexity classes},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {9},
PAGES = {213-229},
YEAR = {1974},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Kosaraju/74a,
AUTHOR = {Kosaraju, S. Rao},
TITLE = {Analysis of structured programs},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {9},
PAGES = {232-255},
YEAR = {1974},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Johnson/74a,
AUTHOR = {Johnson, David S.},
TITLE = {Approximation algorithms for combinatorial problems},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {9},
PAGES = {256-278},
YEAR = {1974},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Lewis-Rosenkrantz-Stearns/74,
AUTHOR = {Lewis, P.M. and Rosenkrantz, D.J. and Stearns, R.E.},
TITLE = {Attributed translations},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {9},
PAGES = {279-307},
YEAR = {1974},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Cook/74b,
AUTHOR = {Cook, S.A.},
TITLE = {An observation on time-storage trade off},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {9},
PAGES = {308-316},
YEAR = {1974},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Fischer-Stockmeyer/74a,
AUTHOR = {Fischer, Michael J. and Stockmeyer, Larry J.},
TITLE = {Fast on-line integer multiplication},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {9},
PAGES = {317-331},
YEAR = {1974},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Vuillemin/74,
AUTHOR = {Vuillemin, Jean},
TITLE = {Correct and optimal implementations of recursion in a simple programming language},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {9},
PAGES = {332-354},
YEAR = {1974},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Tarjan/74a,
AUTHOR = {Tarjan, R.E.},
TITLE = {Testing flow graph reducibility},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {9},
PAGES = {355-365},
YEAR = {1974},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Walljasper/74,
AUTHOR = {Walljasper, S.J.},
TITLE = {Left-derivation bounded languages},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {8},
PAGES = {1-7},
YEAR = {1974},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Hart/74a,
AUTHOR = {Hart, Johnson Murdoch},
TITLE = {Ambiguity and decision problems for local adjunct languages},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {8},
PAGES = {8-21},
YEAR = {1974},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Bird/74,
AUTHOR = {Bird, Richard},
TITLE = {On transformations of programs},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {8},
PAGES = {22-35},
YEAR = {1974},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Crestin/74,
AUTHOR = {Crestin, J.P.},
TITLE = {Structure des grammaires d'ambiguit{\'e} born{\'e}e},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {8},
PAGES = {36-40},
YEAR = {1974},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Guha-Yeh/74,
AUTHOR = {Guha, Ratan K. and Yeh, Raymond T.},
TITLE = {On periodicity of sequential machines},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {8},
PAGES = {41-70},
YEAR = {1974},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Lewis/74,
AUTHOR = {Lewis, Harry R.},
TITLE = {Program schemata and the first-order decision problem},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {8},
PAGES = {71-83},
YEAR = {1974},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Ibaraki/74,
AUTHOR = {Ibaraki, Toshihide},
TITLE = {Classes of discrete optimization problems and their decision problems},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {8},
PAGES = {84-116},
YEAR = {1974},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Choueka/74,
AUTHOR = {Choueka, Yaacov},
TITLE = {Theories of automata on $\omega$-tapes: A simplified approach},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {8},
PAGES = {117-141},
YEAR = {1974},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Khabbaz/74,
AUTHOR = {Khabbaz, Nabil A.},
TITLE = {A geometric hierarchy of languages},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {8},
PAGES = {142-157},
YEAR = {1974},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Cremers-Mayer/74,
AUTHOR = {Cremers, A.B. and Mayer, O.},
TITLE = {On vector languages},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {8},
PAGES = {158-166},
YEAR = {1974},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Igarashi-Honda/74,
AUTHOR = {Igarashi, Yoshihide and Honda, Namio},
TITLE = {Deterministic multitape automata computations},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {8},
PAGES = {167-189},
YEAR = {1974},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Fischer-Warkentin/74,
AUTHOR = {Fischer, Patrick C. and Warkentin, John C.},
TITLE = {Predecessor machines},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {8},
PAGES = {190-219},
YEAR = {1974},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Blum-Rodrigue/74,
AUTHOR = {Blum, E.K. and Rodrigue, G.H.},
TITLE = {Solution of eigenvalue problems in Hilbert spaces by a gradient method},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {8},
PAGES = {220-237},
YEAR = {1974},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Revesz/74,
AUTHOR = {R{\'e}v{\'e}sz, Gy{\"o}rgy},
TITLE = {Comment on the paper ``Error detection in formal languages''},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {8},
PAGES = {238-242},
YEAR = {1974},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Ginsburg-Rose/74,
AUTHOR = {Ginsburg, Seymour and Rose, Gene F.},
TITLE = {The equivalence of stack-counter acceptors and quasi-realtime stack-counter acceptors},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {8},
PAGES = {243-269},
YEAR = {1974},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Johnson/74,
AUTHOR = {Johnson, David S.},
TITLE = {Fast algorithms for bin packing},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {8},
PAGES = {272-314},
YEAR = {1974},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Baker-Book/74,
AUTHOR = {Baker, Brenda S. and Book, Ronald V.},
TITLE = {Reversal-bounded multipushdown machines},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {8},
PAGES = {315-332},
YEAR = {1974},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Goguen/74,
AUTHOR = {Goguen, J.A., Jr.},
TITLE = {On homomorphisms, correctness, termination, unfoldments, and equivalence of flow diagram programs},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {8},
PAGES = {333-365},
YEAR = {1974},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Borodin-Moenck/74,
AUTHOR = {Borodin, A. and Moenck, R.},
TITLE = {Fast modular transforms},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {8},
PAGES = {366-386},
YEAR = {1974},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Kfoury/74,
AUTHOR = {Kfoury, A.J.},
TITLE = {Translatability of schemas over restricted interpretations},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {8},
PAGES = {387-408},
YEAR = {1974},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Maibaum/74,
AUTHOR = {Maibaum, T.S.E.},
TITLE = {A generalized approach to formal languages},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {8},
PAGES = {409-439},
YEAR = {1974},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
NOTE = {see Erratum in J. Comput.~Syst.~Sci., Vol. 14, 369},
}