@article{Broy-Lengauer/91, AUTHOR = {Broy, Manfred and Lengauer, Christian}, TITLE = {On denotational versus predicative semantics}, JOURNAL = {J. Comput.~Syst.~Sci.}, VOLUME = {42}, PAGES = {1-29}, YEAR = {1991}, PUBLISHER = {Academic Press}, ADDRESS = {New York-San Francisco-London-San Diego}, } @article{Bach/91, AUTHOR = {Bach, Eric}, TITLE = {Realistic analysis of some randomized algorithms}, JOURNAL = {J. Comput.~Syst.~Sci.}, VOLUME = {42}, PAGES = {30-53}, YEAR = {1991}, PUBLISHER = {Academic Press}, ADDRESS = {New York-San Francisco-London-San Diego}, } @article{You/91, AUTHOR = {You, Jia-Huai}, TITLE = {Unification modulo an equality theory for equational logic programming}, JOURNAL = {J. Comput.~Syst.~Sci.}, VOLUME = {42}, PAGES = {54-75}, YEAR = {1991}, PUBLISHER = {Academic Press}, ADDRESS = {New York-San Francisco-London-San Diego}, } @article{Beigel/91, AUTHOR = {Beigel, Richard}, TITLE = {Relativized counting classes: Relations among thresholds, parity, and mods}, JOURNAL = {J. Comput.~Syst.~Sci.}, VOLUME = {42}, PAGES = {76-96}, YEAR = {1991}, PUBLISHER = {Academic Press}, ADDRESS = {New York-San Francisco-London-San Diego}, } @article{Bodlaender/91a, AUTHOR = {Bodlaender, H.L.}, TITLE = {Some lower bound results for decentralized extrema-finding in rings of processors}, JOURNAL = {J. Comput.~Syst.~Sci.}, VOLUME = {42}, PAGES = {97-118}, YEAR = {1991}, PUBLISHER = {Academic Press}, ADDRESS = {New York-San Francisco-London-San Diego}, } @article{Li-Yesha/91, AUTHOR = {Li, Ming and Yesha, Yaacov}, TITLE = {Resource bounds for parallel computation of threshold and symmetric functions}, JOURNAL = {J. Comput.~Syst.~Sci.}, VOLUME = {42}, PAGES = {119-137}, YEAR = {1991}, PUBLISHER = {Academic Press}, ADDRESS = {New York-San Francisco-London-San Diego}, } @article{Giovannetti-Levi-Moiso-Palamidessi/91, AUTHOR = {Giovannetti, Elio and Levi, Giorgio and Moiso, Corrado and Palamidessi, Catuscia}, TITLE = {Kernel-LEAF: A logic plus functional language}, JOURNAL = {J. Comput.~Syst.~Sci.}, VOLUME = {42}, PAGES = {139-185}, YEAR = {1991}, PUBLISHER = {Academic Press}, ADDRESS = {New York-San Francisco-London-San Diego}, } @article{Otto-Wrathall/91, AUTHOR = {Otto, Friedrich and Wrathall, Celia}, TITLE = {Overlaps in free partially commutative monoids}, JOURNAL = {J. Comput.~Syst.~Sci.}, VOLUME = {42}, PAGES = {186-198}, YEAR = {1991}, PUBLISHER = {Academic Press}, ADDRESS = {New York-San Francisco-London-San Diego}, } @article{Naughton/91, AUTHOR = {Naughton, Jeffrey F.}, TITLE = {One-sided recursions}, JOURNAL = {J. Comput.~Syst.~Sci.}, VOLUME = {42}, PAGES = {199-236}, YEAR = {1991}, PUBLISHER = {Academic Press}, ADDRESS = {New York-San Francisco-London-San Diego}, } @article{Garzon-Zalcstein/91, AUTHOR = {Garzon, Max and Zalcstein, Yechezkel}, TITLE = {On isomorphism testing of a class of 2-nilpotent groups}, JOURNAL = {J. Comput.~Syst.~Sci.}, VOLUME = {42}, PAGES = {237-248}, YEAR = {1991}, PUBLISHER = {Academic Press}, ADDRESS = {New York-San Francisco-London-San Diego}, } @article{Duris-Galil/91a, AUTHOR = {D{\'u}ri{\v{s}}, Pavol and Galil, Zvi}, TITLE = {Two lower bounds in asynchronous distributed computation}, JOURNAL = {J. Comput.~Syst.~Sci.}, VOLUME = {42}, PAGES = {254-266}, YEAR = {1991}, PUBLISHER = {Academic Press}, ADDRESS = {New York-San Francisco-London-San Diego}, } @article{Yao/91, AUTHOR = {Yao, Andrew Chi-Chih}, TITLE = {Lower bounds to randomized algorithms for graph properties}, JOURNAL = {J. Comput.~Syst.~Sci.}, VOLUME = {42}, PAGES = {267-287}, YEAR = {1991}, PUBLISHER = {Academic Press}, ADDRESS = {New York-San Francisco-London-San Diego}, } @article{Kanevsky-Ramachandran/91, AUTHOR = {Kanevsky, Arkady and Ramachandran, Vijaya}, TITLE = {Improved algorithms for graph four-connectivity}, JOURNAL = {J. Comput.~Syst.~Sci.}, VOLUME = {42}, PAGES = {288-306}, YEAR = {1991}, PUBLISHER = {Academic Press}, ADDRESS = {New York-San Francisco-London-San Diego}, } @article{Ranade/91, AUTHOR = {Ranade, Abhiram G.}, TITLE = {How to emulate shared memory}, JOURNAL = {J. Comput.~Syst.~Sci.}, VOLUME = {42}, PAGES = {307-326}, YEAR = {1991}, PUBLISHER = {Academic Press}, ADDRESS = {New York-San Francisco-London-San Diego}, } @article{Aiello-Hastad/91a, AUTHOR = {Aiello, William and H{\aa}stad, Johan}, TITLE = {Statistical zero-knowledge languages can be recognized in two rounds}, JOURNAL = {J. Comput.~Syst.~Sci.}, VOLUME = {42}, PAGES = {327-345}, YEAR = {1991}, PUBLISHER = {Academic Press}, ADDRESS = {New York-San Francisco-London-San Diego}, } @article{Gurevich/91a, AUTHOR = {Gurevich, Yuri}, TITLE = {Average case completeness}, JOURNAL = {J. Comput.~Syst.~Sci.}, VOLUME = {42}, PAGES = {346-398}, YEAR = {1991}, PUBLISHER = {Academic Press}, ADDRESS = {New York-San Francisco-London-San Diego}, }