@article{Shuo-Yen/86,
AUTHOR = {Shuo-Yen, Robert Li},
TITLE = {Binary trees and uniform distribution of traffic cutback},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {32},
NUMBER = {1},
PAGES = {1-14},
YEAR = {1986, February},
PUBLISHER = {Academic Press},
INSTITUTION = {Bell Commun. Res., Morristown, NJ, USA},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Gacs/86,
AUTHOR = {Gacs, P.},
TITLE = {Reliable computation with cellular automata},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {32},
NUMBER = {1},
PAGES = {15-78},
YEAR = {1986, February},
PUBLISHER = {Academic Press},
INSTITUTION = {Boston Univ., MA, USA},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{de_Champeaux/86a,
AUTHOR = {de Champeaux, D.},
TITLE = {About the Paterson-Wegman linear unification algorithm},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {32},
NUMBER = {1},
PAGES = {79-90},
YEAR = {1986, February},
PUBLISHER = {Academic Press},
INSTITUTION = {Dept. of Comput. Sci., Tulane Univ., New Orleans, LA, USA},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Wegener/86,
AUTHOR = {Wegener, I.},
TITLE = {Time-space trade-offs for branching programs},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {32},
NUMBER = {1},
PAGES = {91-96},
YEAR = {1986, February},
PUBLISHER = {Academic Press},
INSTITUTION = {Johann Wolfgang Goethe-Univ., Frankfurt, Germany},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Urzyczyn/86,
AUTHOR = {Urzyczyn, P.},
TITLE = {'During' cannot be expressed by 'after'},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {32},
NUMBER = {1},
PAGES = {97-104},
YEAR = {1986, February},
PUBLISHER = {Academic Press},
INSTITUTION = {Inst. of Math., Warsaw Univ., Poland},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Rosier-Yen/86a,
AUTHOR = {Rosier, L.E. and Yen, Hsu-Chun},
TITLE = {A multiparameter analysis of the boundedness problem for vector addition systems},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {32},
NUMBER = {1},
PAGES = {105-135},
YEAR = {1986, February},
PUBLISHER = {Academic Press},
INSTITUTION = {Dept. of Comput. Sci., Texas Univ., Austin, TX, USA},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Kantabutra-Kosaraju/86,
AUTHOR = {Kantabutra, V. and Kosaraju, S.R.},
TITLE = {New algorithms for multilink robot arms},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {32},
NUMBER = {1},
PAGES = {136-153},
YEAR = {1986, February},
PUBLISHER = {Academic Press},
INSTITUTION = {Dept. of Electr. Eng. \& Comput. Sci., Johns Hopkins Univ., Baltimore, MD, USA},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Chazelle/86b,
AUTHOR = {Chazelle, B.},
TITLE = {Reporting and counting segment intersections},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {32},
NUMBER = {2},
PAGES = {156-182},
YEAR = {1986, April},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Vardi-Wolper/86,
AUTHOR = {Vardi, M.Y. and Wolper, P.},
TITLE = {Automata-theoretic techniques for modal logics of programs},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {32},
NUMBER = {2},
PAGES = {183-221},
YEAR = {1986, April},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Boppana/86,
AUTHOR = {Boppana, R.B.},
TITLE = {Threshold functions and bounded depth monotone circuits},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {32},
NUMBER = {2},
PAGES = {222-229},
YEAR = {1986, April},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Dolev-Halpern-Strong/86,
AUTHOR = {Dolev, D. and Halpern, J.Y. and Strong, H.R.},
TITLE = {On the possibility and impossibility of achieving clock synchronization},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {32},
NUMBER = {2},
PAGES = {230-250},
YEAR = {1986, April},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Ben-Or-Kozen-Reif/86,
AUTHOR = {Ben-Or, Michael and Kozen, Dexter and Reif, John Henry},
TITLE = {The complexity of elementary algebra and geometry},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {32},
NUMBER = {2},
PAGES = {251-264},
YEAR = {1986, April},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Miller/86,
AUTHOR = {Miller, G.L.},
TITLE = {Finding small simple cycle separators for 2-connected planar graphs},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {32},
NUMBER = {3},
PAGES = {265-279},
YEAR = {1986, June},
PUBLISHER = {Academic Press},
INSTITUTION = {Dept. of Comput. Sci., Univ. of Southern California, Los Angeles, CA, USA},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Reif-Lewis/86,
AUTHOR = {Reif, John H. and Lewis, Harry R.},
TITLE = {Efficient symbolic analysis of programs},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {32},
NUMBER = {3},
PAGES = {280-314},
YEAR = {1986, June},
PUBLISHER = {Academic Press},
INSTITUTION = {Center for Res. \& Comput. Technol., Harvard Univ., Cambridge, MA, USA},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Karhumaki-Maon/86,
AUTHOR = {Karhum{\"a}ki, J. and Maon, Y.},
TITLE = {A simple undecidable problem: existential agreement of inverses of two morphisms on a regular language},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {32},
NUMBER = {3},
PAGES = {315-322},
YEAR = {1986, June},
PUBLISHER = {Academic Press},
INSTITUTION = {Dept. of Math., Turku Univ., Finland},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Bergstra-Klop/86,
AUTHOR = {Bergstra, J.A. and Klop, J.W.},
TITLE = {Conditional rewrite rules: Confluence and termination},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {32},
NUMBER = {3},
PAGES = {323-362},
YEAR = {1986, June},
PUBLISHER = {Academic Press},
INSTITUTION = {Amsterdam Univ., Netherlands},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Hodgson-Kent/86,
AUTHOR = {Hodgson, B.R. and Kent, C.F.},
TITLE = {Uniform normal form for general time-bounded complexity classes},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {32},
NUMBER = {3},
PAGES = {363-369},
YEAR = {1986, June},
PUBLISHER = {Academic Press},
INSTITUTION = {Dept. de Math., Laval Univ., Que., Canada},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Owings/86,
AUTHOR = {Owings, J.C., Jr.},
TITLE = {Effective choice functions and index sets},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {32},
NUMBER = {3},
PAGES = {370-373},
YEAR = {1986, June},
PUBLISHER = {Academic Press},
INSTITUTION = {Dept. of Math., Maryland Univ., College Park, MD, USA},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Chlebus/86,
AUTHOR = {Chlebus, B.S.},
TITLE = {Domino-tiling games},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {32},
NUMBER = {3},
PAGES = {374-392},
YEAR = {1986, June},
PUBLISHER = {Academic Press},
INSTITUTION = {Inst. of Inf., Warsaw Univ., Poland},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Perrin-Pin/86,
AUTHOR = {Perrin, D. and Pin, J.-E.},
TITLE = {First-order logic and star-free sets},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {32},
NUMBER = {3},
PAGES = {393-406},
YEAR = {1986, June},
PUBLISHER = {Academic Press},
INSTITUTION = {LITP, Paris, France},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Lakshmipathy-Winklmann/86,
AUTHOR = {Lakshmipathy, N. and Winklmann, K.},
TITLE = {'Global' graph problems tend to be intractable},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {32},
NUMBER = {3},
PAGES = {407-428},
YEAR = {1986, June},
PUBLISHER = {Academic Press},
INSTITUTION = {Dept. of Math. \& Comput. Sci., Denver Univ., CO, USA},
ADDRESS = {New York-San Francisco-London-San Diego},
}