@article{Butler/79,
AUTHOR = {Butler, J.T.},
TITLE = {Decomposable maps in general tessellation structures},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {18},
NUMBER = {1},
PAGES = {1-7},
YEAR = {1979, February},
PUBLISHER = {Academic Press},
INSTITUTION = {Dept. of Electrical Engng. and Computer Sci., Northwestern Univ., Evanston, IL, USA},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Nozaki/79b,
AUTHOR = {Nozaki, A.},
TITLE = {Equivalence problem of non-deterministic finite automata},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {18},
NUMBER = {1},
PAGES = {8-17},
YEAR = {1979, February},
PUBLISHER = {Academic Press},
INSTITUTION = {Dept. of Computer Sci., Yamanashi Univ., Kofu, Japan},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Gurari-Ibarra/79a,
AUTHOR = {Gurari, E.M. and Ibarra, O.H.},
TITLE = {Some decision problems concerning sequential transducers and checking automata},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {18},
NUMBER = {1},
PAGES = {18-34},
YEAR = {1979, February},
PUBLISHER = {Academic Press},
INSTITUTION = {Dept. of Computer Sci., Univ. of Minnesota, Minneapolis, MN, USA},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Valette/79,
AUTHOR = {Valette, R.},
TITLE = {Analysis of Petri nets by stepwise refinements},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {18},
NUMBER = {1},
PAGES = {35-46},
YEAR = {1979, February},
PUBLISHER = {Academic Press},
INSTITUTION = {CNRS, Toulouse, France},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Maruoka-Kimura/79,
AUTHOR = {Maruoka, A. and Kimura, M.},
TITLE = {Injectivity and surjectivity of parallel maps for cellular automata},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {18},
NUMBER = {1},
PAGES = {47-64},
YEAR = {1979, February},
PUBLISHER = {Academic Press},
INSTITUTION = {Faculty of Engng., Tohoku Univ., Sendai-Shi, Japan},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Rouchaleau-Sontag/79,
AUTHOR = {Rouchaleau, Y. and Sontag, E.D.},
TITLE = {On the existence of minimal realizations of linear dynamical systems over Noetherian integral domains},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {18},
NUMBER = {1},
PAGES = {65-75},
YEAR = {1979, February},
PUBLISHER = {Academic Press},
INSTITUTION = {Ens Mines de Paris, Valbonne, France},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Mitchell-Cockayne-Hedetniemi/79,
AUTHOR = {Mitchell, S.L. and Cockayne, E.J. and Hedetniemi, S.T.},
TITLE = {Linear algorithms on recursive representations of trees},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {18},
NUMBER = {1},
PAGES = {76-85},
YEAR = {1979, February},
PUBLISHER = {Academic Press},
INSTITUTION = {Univ. of Louisville, Louisville, KY, USA},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Dobkin-Lipton/79,
AUTHOR = {Dobkin, D.P. and Lipton, R.J.},
TITLE = {On the complexity of computations under varying sets of primitives},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {18},
NUMBER = {1},
PAGES = {86-91},
YEAR = {1979, February},
PUBLISHER = {Academic Press},
INSTITUTION = {Dept. of Computer Sci., Yale Univ., New Haven, CT, USA},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Linna/79,
AUTHOR = {Linna, M.},
TITLE = {Two decidability results for deterministic pushdown automata},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {18},
NUMBER = {1},
PAGES = {92-107},
YEAR = {1979, February},
PUBLISHER = {Academic Press},
INSTITUTION = {Dept. of Math. Sci., Univ. of Turku, Turku, Finland},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Tarjan/79,
AUTHOR = {Tarjan, R.E.},
TITLE = {A class of algorithms which require nonlinear time to maintain disjoint sets},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {18},
NUMBER = {2},
PAGES = {110-127},
YEAR = {1979, April},
PUBLISHER = {Academic Press},
INSTITUTION = {Computer Sci. Dept., Stanford Univ., Stanford, CA, USA},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Miller/79,
AUTHOR = {Miller, G.L.},
TITLE = {Graph isomorphism, general remarks},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {18},
NUMBER = {2},
PAGES = {128-142},
YEAR = {1979, April},
PUBLISHER = {Academic Press},
INSTITUTION = {Appl. Math. Group, Dept. of Math., MIT, Cambridge, MA, USA},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Carter-Wegman/79,
AUTHOR = {Carter, J.L. and Wegman, M.N.},
TITLE = {Universal classes of hash functions},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {18},
PAGES = {143-154},
YEAR = {1979, April},
PUBLISHER = {Academic Press},
INSTITUTION = {IBM Thomas J. Watson Res. Center, Yorktown Heights, NY, USA},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Angluin-Valiant/79,
AUTHOR = {Angluin, D. and Valiant, L.G.},
TITLE = {Fast probabilistic algorithms for Hamiltonian circuits and matchings},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {18},
NUMBER = {2},
PAGES = {155-193},
YEAR = {1979, April},
PUBLISHER = {Academic Press},
INSTITUTION = {Computer Sci. Dept., Univ. of Edinburgh, Edinburgh, Scotland},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Fischer-Ladner/79,
AUTHOR = {Fischer, M.J. and Ladner, R.E.},
TITLE = {Propositional dynamic logic of regular programs},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {18},
NUMBER = {2},
PAGES = {194-211},
YEAR = {1979, April},
PUBLISHER = {Academic Press},
INSTITUTION = {Dept. of Computer Sci., Univ. of Washington, Seattle, WA, USA},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Werschulz/79,
AUTHOR = {Werschulz, A.G.},
TITLE = {Optimal order for approximation of derivatives},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {18},
NUMBER = {3},
PAGES = {213-217},
YEAR = {1979, June},
PUBLISHER = {Academic Press},
INSTITUTION = {Dept. of Math., Univ. of Maryland, Baltimore, MD, USA},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Poplawski/79,
AUTHOR = {Poplawski, D.A.},
TITLE = {On LL-regular grammars},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {18},
NUMBER = {3},
PAGES = {218-227},
YEAR = {1979, June},
PUBLISHER = {Academic Press},
INSTITUTION = {Computer Sci. Dept., Purdue Univ., West Lafayette, IN, USA},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Ginali/79,
AUTHOR = {Ginali, S.},
TITLE = {Regular trees and the free iterative theory},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {18},
NUMBER = {3},
PAGES = {228-242},
YEAR = {1979, June},
PUBLISHER = {Academic Press},
INSTITUTION = {Dept. of Computer Sci., Illinois Inst. of Technol., Chicago, IL, USA},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Ono/79,
AUTHOR = {Ono, H.},
TITLE = {Undecidability of the first-order arithmetic a(p(x), 2x, x+1)},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {18},
NUMBER = {3},
PAGES = {243-253},
YEAR = {1979, June},
PUBLISHER = {Academic Press},
INSTITUTION = {Coll. of Integrated Arts and Sci., Hiroshima Univ., Hiroshima, Japan},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Friedman-Greibach/79a,
AUTHOR = {Friedman, E.P. and Greibach, S.A.},
TITLE = {Monadic recursion schemes: the effect of constants},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {18},
NUMBER = {3},
PAGES = {254-266},
YEAR = {1979, June},
PUBLISHER = {Academic Press},
INSTITUTION = {Computer Sci. Dept., Univ. of California, Los Angeles, CA, USA},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Paun/79b,
AUTHOR = {P{\u{a}}un, G.},
TITLE = {On the family of finite index matrix languages},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {18},
NUMBER = {3},
PAGES = {267-280},
YEAR = {1979, June},
PUBLISHER = {Academic Press},
INSTITUTION = {Inst. of Math., Bucharest, Rumania},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Weyuker/79a,
AUTHOR = {Weyuker, E.J.},
TITLE = {Modifications of the program scheme model},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {18},
NUMBER = {3},
PAGES = {281-293},
YEAR = {1979, June},
PUBLISHER = {Academic Press},
INSTITUTION = {Dept. of Computer Sci., Courant Inst. of Math. Sci., New York Univ., New York, NY, USA},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Gordon/79,
AUTHOR = {Gordon, D.},
TITLE = {Complexity classes of provable recursive functions},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {18},
NUMBER = {3},
PAGES = {294-303},
YEAR = {1979, June},
PUBLISHER = {Academic Press},
INSTITUTION = {Dept. of Math. and Computer Sci., Purdue Univ., West Lafayette, IN, USA},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Veloso/79a,
AUTHOR = {Veloso, P.A.S.},
TITLE = {Some remarks on multiple-entry finite automata},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {18},
NUMBER = {3},
PAGES = {304-306},
YEAR = {1979, June},
PUBLISHER = {Academic Press},
INSTITUTION = {Dept. of System and Computer Sci., Univ. Federal de Rio de Janeiro, Rio de Janeiro, Brazil},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Latteux/79a,
AUTHOR = {Latteux, M.},
TITLE = {Rational commutative trios},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {18},
NUMBER = {3},
PAGES = {307-333},
YEAR = {1979, June},
PUBLISHER = {Academic Press},
INSTITUTION = {Service Informatique, Univ. de Lille 1, Villeneuve d'Ascq, France},
ADDRESS = {New York-San Francisco-London-San Diego},
}