@article{Ginsburg-Greibach/73,
AUTHOR = {Ginsburg, Seymour and Greibach, Sheila},
TITLE = {On AFL generators for finitely encoded AFA},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {7},
PAGES = {1-27},
YEAR = {1973},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Ibarra/73,
AUTHOR = {Ibarra, Oscar H.},
TITLE = {On two-way multihead automata},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {7},
PAGES = {28-36},
YEAR = {1973},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Abe-Mizumoto-Toyoda-Tanaka/73,
AUTHOR = {Abe, Norihiro and Mizumoto, Masaharu and Toyoda, Jun-Ichi and Tanaka, Kohkichi},
TITLE = {Web grammars and several graphs},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {7},
PAGES = {37-65},
YEAR = {1973},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Culik-Cohen/73,
AUTHOR = {{\v{C}}ul{\'i}k II, Karel and Cohen, Rina},
TITLE = {LR-regular grammars - an extension of $LR(k)$ grammars},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {7},
PAGES = {66-96},
YEAR = {1973},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Feliciangeli-Herman/73,
AUTHOR = {Feliciangeli, Horacio and Herman, Gabor T.},
TITLE = {Algorithms for producing grammars from sample derivations: A common problem of formal language theory and developmental biology},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {7},
PAGES = {97-118},
YEAR = {1973},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Garland-Luckham/73,
AUTHOR = {Garland, Stephen J. and Luckham, David C.},
TITLE = {Program schemes, recursion schemes, and formal languages},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {7},
PAGES = {119-160},
YEAR = {1973},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Zeigler/73,
AUTHOR = {Zeigler, Bernard P.},
TITLE = {Every discrete input machine is linearly simulatable},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {7},
PAGES = {161-167},
YEAR = {1973},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Hartmanis-Walter/73,
AUTHOR = {Hartmanis, Juris and Walter, H.},
TITLE = {Group theoretic characterization of linear permutation automata},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {7},
PAGES = {168-188},
YEAR = {1973},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Munro-Paterson/73,
AUTHOR = {Munro, I. and Paterson, M.S.},
TITLE = {Optimal algorithms for parallel polynomial evaluation},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {7},
PAGES = {189-198},
YEAR = {1973},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Igarashi-Honda/73,
AUTHOR = {Igarashi, Yoshihide and Honda, Namio},
TITLE = {On the extension of Gladkij's theorem and the hierarchies of languages},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {7},
PAGES = {199-217},
YEAR = {1973},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
NOTE = {see Erratum in J. Comput.~Syst.~Sci., Vol. 11, 397},
}
@article{Bird/73,
AUTHOR = {Bird, Malcolm},
TITLE = {The equivalence problem for deterministic two-tape automata},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {7},
PAGES = {218-236},
YEAR = {1973},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Harrison-Havel/73,
AUTHOR = {Harrison, Michael A. and Havel, Ivan M.},
TITLE = {Strict deterministic grammars},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {7},
PAGES = {237-277},
YEAR = {1973},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Arbib/73,
AUTHOR = {Arbib, Michael A.},
TITLE = {Coproducts and decomposable machines},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {7},
PAGES = {278-287},
YEAR = {1973},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Kohavi-Winograd/73,
AUTHOR = {Kohavi, Zvi and Winograd, Joseph},
TITLE = {Establishing certain bounds concerning finite automata},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {7},
PAGES = {288-299},
YEAR = {1973},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Masunaga-Noguchi-Oizumi/73,
AUTHOR = {Masunaga, Yoshifumi and Noguchi, Shoichi and Oizumi, Juro},
TITLE = {A structure theory of automata characterized by groups},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {7},
PAGES = {300-305},
YEAR = {1973},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Cheung/73,
AUTHOR = {Cheung, To-Yat},
TITLE = {Approximate solutions and error bounds for quasilinear elliptic boundary value problems},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {7},
PAGES = {306-322},
YEAR = {1973},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Hopcroft-Tarjan/73,
AUTHOR = {Hopcroft, J.E. and Tarjan, R.E.},
TITLE = {A $V\log V$ algorithm for isomorphism of triconnected planar graphs},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {7},
PAGES = {323-331},
YEAR = {1973},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Kung/73b,
AUTHOR = {Kung, H.T.},
TITLE = {A bound on the multiplicative efficiency of iteration},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {7},
PAGES = {334-342},
YEAR = {1973},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Cook/73c,
AUTHOR = {Cook, Stephen A.},
TITLE = {A hierarchy for nondeterministic time complexity},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {7},
PAGES = {343-353},
YEAR = {1973},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Cook-Reckhow/73,
AUTHOR = {Cook, S.A. and Reckhow, R.A.},
TITLE = {Time-bounded random access machines},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {7},
PAGES = {354-375},
YEAR = {1973},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Schnorr/73,
AUTHOR = {Schnorr, C.P.},
TITLE = {Process complexity and effective random tests},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {7},
PAGES = {376-388},
YEAR = {1973},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Savitch/73b,
AUTHOR = {Savitch, Walter J.},
TITLE = {Maze recognizing automata and nondeterministic tape complexity},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {7},
PAGES = {389-403},
YEAR = {1973},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Walker-Strong/73,
AUTHOR = {Walker, S.A. and Strong, H.R.},
TITLE = {Characterizations of flowchartable recursions},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {7},
PAGES = {404-447},
YEAR = {1973},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Blum-Floyd-Pratt-Rivest-Tarjan/73,
AUTHOR = {Blum, M. and Floyd, R.W. and Pratt, V.R. and Rivest, R.L. and Tarjan, R.E.},
TITLE = {Time bounds for selection},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {7},
PAGES = {448-461},
YEAR = {1973},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Blattner/73,
AUTHOR = {Blattner, Meera},
TITLE = {The unsolvability of the equality problem for sentential forms of context-free grammars},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {7},
PAGES = {463-468},
YEAR = {1973},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Horowitz/73,
AUTHOR = {Horowitz, Ellis},
TITLE = {The efficient calculation of powers of polynomials},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {7},
PAGES = {469-480},
YEAR = {1973},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Yaku/73,
AUTHOR = {Yaku, Takeo},
TITLE = {The constructibility of a configuration in a cellular automaton},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {7},
PAGES = {481-496},
YEAR = {1973},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Hughes/73,
AUTHOR = {Hughes, C.E.},
TITLE = {Many-one degrees associated with semi-thue systems},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {7},
PAGES = {497-505},
YEAR = {1973},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Konheim-Meister/73,
AUTHOR = {Konheim, Alan G. and Meister, Bernd},
TITLE = {Distributions of queue lengths and waiting times in a loop with two-way traffic},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {7},
PAGES = {506-521},
YEAR = {1973},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Kartashev/73,
AUTHOR = {Kartashev, Svetlana P.},
TITLE = {State assignment for realizing modular input-free sequential logical networks without invertors},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {7},
PAGES = {522-542},
YEAR = {1973},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Rutledge/73,
AUTHOR = {Rutledge, J.D.},
TITLE = {Program schemata as automata. I},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {7},
PAGES = {543-578},
YEAR = {1973},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Rosebruch-Wood/73,
AUTHOR = {Rosebruch, Robert D. and Wood, Derick},
TITLE = {A characterization theorem for $n$-parallel right linear languages},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {7},
PAGES = {579-582},
YEAR = {1973},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Boasson/73a,
AUTHOR = {Boasson, L.},
TITLE = {Two iteration theorems for some families of languages},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {7},
PAGES = {583-596},
YEAR = {1973},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Nudds/73,
AUTHOR = {Nudds, D.},
TITLE = {Conversion of programs between computers: Interpreters, simulators and compilers},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {7},
PAGES = {597-614},
YEAR = {1973},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Nozaki/73,
AUTHOR = {Nozaki, Akihiro},
TITLE = {Two entropies of a generalized sorting problem},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {7},
PAGES = {615-621},
YEAR = {1973},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}