@article{Devroye/84,
AUTHOR = {Devroye, L.},
TITLE = {Exponential bounds for the running time of a selection algorithm},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {29},
NUMBER = {1},
PAGES = {1-7},
YEAR = {1984, August},
PUBLISHER = {Academic Press},
INSTITUTION = {Sch. of Comput. Sci., McGill Univ., Montreal, Que., Canada},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Plaisted/84,
AUTHOR = {Plaisted, D.A.},
TITLE = {Complete problems in the first-order predicate calculus},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {29},
NUMBER = {1},
PAGES = {8-35},
YEAR = {1984, August},
PUBLISHER = {Academic Press},
INSTITUTION = {Dept. of Comput. Sci., Illinois Univ., Urbana, IL, USA},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Sugihara/84,
AUTHOR = {Sugihara, K.},
TITLE = {An $n\log n$ algorithm for determining the congruity of polyhedra},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {29},
NUMBER = {1},
PAGES = {36-47},
YEAR = {1984, August},
PUBLISHER = {Academic Press},
INSTITUTION = {Dept. of Inf. Sci., Nagoya Univ., Japan},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Pachl/84,
AUTHOR = {Pachl, J.K.},
TITLE = {Finding pseudoperipheral nodes in graphs},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {29},
NUMBER = {1},
PAGES = {48-53},
YEAR = {1984, August},
PUBLISHER = {Academic Press},
INSTITUTION = {Dept. of Comput. Sci., Waterloo Univ., Ont., Canada},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Latteux-Rozenberg/84,
AUTHOR = {Latteux, M. and Rozenberg, G.},
TITLE = {Commutative one/counter languages are regular},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {29},
NUMBER = {1},
PAGES = {54-57},
YEAR = {1984, August},
PUBLISHER = {Academic Press},
INSTITUTION = {Lille I Univ., Villeneuve d'Ascq, France},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Chen/84,
AUTHOR = {Chen, Tsong Yueh},
TITLE = {On the fixpoints of nondeterministic recursive definitions},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {29},
NUMBER = {1},
PAGES = {58-79},
YEAR = {1984, August},
PUBLISHER = {Academic Press},
INSTITUTION = {Centre of Computer Studies and Applications, Hong Kong Univ., Hong Kong},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Kroger/84,
AUTHOR = {Kr{\"o}ger, F.},
TITLE = {A generalized nexttime operator in temporal logic},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {29},
NUMBER = {1},
PAGES = {80-98},
YEAR = {1984, August},
PUBLISHER = {Academic Press},
INSTITUTION = {Tech. Univ., Munich, Germany},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Troeger/84,
AUTHOR = {Troeger, D.R.},
TITLE = {Weak equivalence in a class of structured program schemes},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {29},
NUMBER = {1},
PAGES = {99-117},
YEAR = {1984, August},
PUBLISHER = {Academic Press},
INSTITUTION = {Sch. of Comput. and Info. Sci., Syracuse Univ., NY, USA},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Savitch-Dymond/84,
AUTHOR = {Savitch, W.J. and Dymond, P.W.},
TITLE = {Consistency in nondeterministic storage},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {29},
NUMBER = {1},
PAGES = {118-132},
YEAR = {1984, August},
PUBLISHER = {Academic Press},
INSTITUTION = {Dept. of Electr. Eng. and Comput. Sci., California Univ., San Diego, CA, USA},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Hsu-Du/84,
AUTHOR = {Hsu, W.J. and Du, M.W.},
TITLE = {New algorithms for the LCS problem},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {29},
NUMBER = {2},
PAGES = {133-152},
YEAR = {1984, October},
PUBLISHER = {Academic Press},
INSTITUTION = {Inst. of Comput. Eng., Nat. Chiao Tung Univ., Hsinchu, Taiwan},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Restivo-Reutenauer/84,
AUTHOR = {Restivo, A. and Reutenauer, C.},
TITLE = {On cancellation properties of languages which are supports of ration power series},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {29},
NUMBER = {2},
PAGES = {153-159},
YEAR = {1984, October},
PUBLISHER = {Academic Press},
INSTITUTION = {Palermo Univ., Italy},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Meyer-Tiuryn/84,
AUTHOR = {Meyer, A.R. and Tiuryn, J.},
TITLE = {Equivalences among logics of programs},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {29},
NUMBER = {2},
PAGES = {160-170},
YEAR = {1984, October},
PUBLISHER = {Academic Press},
INSTITUTION = {Lab. for Comput. Sci., MIT, Cambridge, MA, USA},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Miyajima-Harao-Noguchi/84,
AUTHOR = {Miyajima, H. and Harao, M. and Noguchi, S.},
TITLE = {Indecomposable maps in tessellation structures of arbitrary dimension},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {29},
NUMBER = {2},
PAGES = {171-182},
YEAR = {1984, October},
PUBLISHER = {Academic Press},
INSTITUTION = {Kumamoto Radio Tech. Coll., Japan},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Yesha/84,
AUTHOR = {Yesha, Yaacov},
TITLE = {Time-space tradeoffs for matrix multiplication and the discrete Fourier transform on any general sequential random-access computer},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {29},
PAGES = {183-197},
YEAR = {1984, October},
PUBLISHER = {Academic Press},
INSTITUTION = {Dept. of Comput. Sci., Toronto Univ., Ont., Canada},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Porat-Yoeli/84,
AUTHOR = {Porat, S. and Yoeli, M.},
TITLE = {Towards a hierarchy of nets},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {29},
NUMBER = {2},
PAGES = {198-206},
YEAR = {1984, October},
PUBLISHER = {Academic Press},
INSTITUTION = {Dept. of Comput. Sci., Technion-Israel Inst. of Technol., Haifa, Israel},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Muro-Kameda-Minoura/84,
AUTHOR = {Muro, S. and Kameda, T. and Minoura, T.},
TITLE = {Multi-version concurrency control scheme for a database system},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {29},
NUMBER = {2},
PAGES = {207-224},
YEAR = {1984, October},
PUBLISHER = {Academic Press},
INSTITUTION = {Dept. of Appl. Math., Kyoto Univ., Japan},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Ntafos-Gonzalez/84,
AUTHOR = {Ntafos, S. and Gonzalez, T.},
TITLE = {On the computational complexity of path cover problems},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {29},
NUMBER = {2},
PAGES = {225-242},
YEAR = {1984, October},
PUBLISHER = {Academic Press},
INSTITUTION = {Dept. of Comput. Sci., Texas Univ., Dallas, TX, USA},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Savage/84a,
AUTHOR = {Savage, J.E.},
TITLE = {The performance of multilective VLSI algorithms},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {29},
NUMBER = {2},
PAGES = {243-273},
YEAR = {1984, October},
PUBLISHER = {Academic Press},
INSTITUTION = {Dept. of Comput. Sci., Brown Univ., Providence, RI, USA},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Reif/84,
AUTHOR = {Reif, J.H.},
TITLE = {The complexity of two-player games of incomplete information},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {29},
NUMBER = {2},
PAGES = {274-301},
YEAR = {1984, October},
PUBLISHER = {Academic Press},
INSTITUTION = {Aiken Comput. Lab., Harvard Univ., Cambridge, MA, USA},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Vitanyi/84a,
AUTHOR = {Vit{\'a}nyi, P.M.B.},
TITLE = {On two-tape real-time computation and queues},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {29},
NUMBER = {3},
PAGES = {303-311},
YEAR = {1984, December},
PUBLISHER = {Academic Press},
INSTITUTION = {Centre for Math. and Comput. Sci., Amsterdam, Netherlands},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Motoki/84,
AUTHOR = {Motoki, T.},
TITLE = {An application of Cohen's result on star height to the theory of control structures},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {29},
NUMBER = {3},
PAGES = {312-329},
YEAR = {1984, December},
PUBLISHER = {Academic Press},
INSTITUTION = {Dept. of Inf. Sci., Ibaraki Univ., Hitachi, Japan},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Atallah-Vishkin/84,
AUTHOR = {Atallah, M. and Vishkin, U.},
TITLE = {Finding Euler tours in parallel},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {29},
NUMBER = {3},
PAGES = {330-337},
YEAR = {1984, December},
PUBLISHER = {Academic Press},
INSTITUTION = {Dept. of Comput. Sci., Purdue Univ., West Lafayette, IN, USA},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Goodman-Shmueli-Tay/84,
AUTHOR = {Goodman, N. and Shmueli, O. and Tay, Y.C.},
TITLE = {GYO reductions, canonical connections, tree and cyclic schemas, and tree projections},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {29},
NUMBER = {3},
PAGES = {338-358},
YEAR = {1984, December},
PUBLISHER = {Academic Press},
INSTITUTION = {Aiken Comput. Lab., Harvard Univ., Cambridge, MA, USA},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Harel-Paterson/84,
AUTHOR = {Harel, D. and Paterson, M.S.},
TITLE = {Undecidability of PDL with $L=(a^{2i}>i>0)$ (propositional dynamic logic)},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {29},
NUMBER = {3},
PAGES = {359-365},
YEAR = {1984, December},
PUBLISHER = {Academic Press},
INSTITUTION = {Dept. of Appl. Math., Weizmann Inst. of Sci., Rehovot, Israel},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Engelfriet-Slutzki/84,
AUTHOR = {Engelfriet, J. and Slutzki, G.},
TITLE = {Extended macro grammars and stack controlled machines},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {29},
NUMBER = {3},
PAGES = {366-408},
YEAR = {1984, December},
PUBLISHER = {Academic Press},
INSTITUTION = {Dept. of Appl. Math., Twente Univ. of Technol., Enschede, Netherlands},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Yu-Ozsoyoglu-Lam/84,
AUTHOR = {Yu, C.T. and Ozsoyoglu, Z.M. and Lam, K.},
TITLE = {Optimization of distributed tree queries},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {29},
NUMBER = {3},
PAGES = {409-445},
YEAR = {1984, December},
PUBLISHER = {Academic Press},
INSTITUTION = {Dept. of Inf. Eng., Illinois Univ., Chicago, IL, USA},
ADDRESS = {New York-San Francisco-London-San Diego},
}