@article{Tulipani/94, AUTHOR = {Tulipani, Sauro}, TITLE = {Decidability of the existential theory of infinite terms with subterm relation}, JOURNAL = {Inf.~Comput.}, VOLUME = {108}, NUMBER = {1}, PAGES = {1-33}, YEAR = {1994, January}, PUBLISHER = {Academic Press}, ADDRESS = {New York-San Francisco-London-San Diego}, } @article{Bodlaender-Moran-Warmuth/94, AUTHOR = {Bodlaender, Hans L. and Moran, Shlomo and Warmuth, Manfred K.}, TITLE = {The distributed bit complexity of the ring: From the anonymous to the non-anonymous case}, JOURNAL = {Inf.~Comput.}, VOLUME = {108}, NUMBER = {1}, PAGES = {34-50}, YEAR = {1994, January}, PUBLISHER = {Academic Press}, ADDRESS = {New York-San Francisco-London-San Diego}, } @article{Boudol/94, AUTHOR = {Boudol, G{\'e}rard}, TITLE = {Lambda-calculi for (strict) parallel functions}, JOURNAL = {Inf.~Comput.}, VOLUME = {108}, NUMBER = {1}, PAGES = {51-127}, YEAR = {1994, January}, PUBLISHER = {Academic Press}, ADDRESS = {New York-San Francisco-London-San Diego}, } @article{de_Boer-Palamidessi/94, AUTHOR = {de Boer, Frank S. and Palamidessi, Catuscia}, TITLE = {Embedding as a tool for language comparison}, JOURNAL = {Inf.~Comput.}, VOLUME = {108}, NUMBER = {1}, PAGES = {128-157}, YEAR = {1994, January}, PUBLISHER = {Academic Press}, ADDRESS = {New York-San Francisco-London-San Diego}, } @article{Krichevsky/94, AUTHOR = {Krichevsky, Rafail E.}, TITLE = {Occam's razor, partially specified boolean functions, string matching, and independent sets}, JOURNAL = {Inf.~Comput.}, VOLUME = {108}, NUMBER = {1}, PAGES = {158-174}, YEAR = {1994, January}, PUBLISHER = {Academic Press}, ADDRESS = {New York-San Francisco-London-San Diego}, } @article{Shinohara/94, AUTHOR = {Shinohara, Takeshi}, TITLE = {Rich classes inferable from positive data: Length-bounded elementary formal systems}, JOURNAL = {Inf.~Comput.}, VOLUME = {108}, NUMBER = {2}, PAGES = {175-186}, YEAR = {1994, February}, PUBLISHER = {Academic Press}, ADDRESS = {New York-San Francisco-London-San Diego}, } @article{Baeza-Yates-Gonnet/94, AUTHOR = {Baeza-Yates, Ricardo A. and Gonnet, Gaston H.}, TITLE = {Fast string matching with mismatches}, JOURNAL = {Inf.~Comput.}, VOLUME = {108}, NUMBER = {2}, PAGES = {187-199}, YEAR = {1994, February}, PUBLISHER = {Academic Press}, ADDRESS = {New York-San Francisco-London-San Diego}, } @article{Hastad-Wegener-Wurm-Yi/94, AUTHOR = {H{\aa}stad, Johan and Wegener, Ingo and Wurm, Norbert and Yi, Sang-Zin}, TITLE = {Optimal depth, very small size circuits for symmetric functions in $AC^0$}, JOURNAL = {Inf.~Comput.}, VOLUME = {108}, NUMBER = {2}, PAGES = {200-211}, YEAR = {1994, February}, PUBLISHER = {Academic Press}, ADDRESS = {New York-San Francisco-London-San Diego}, } @article{Littlestone-Warmuth/94, AUTHOR = {Littlestone, Nick and Warmuth, Manfred K.}, TITLE = {The weighted majority algorithm}, JOURNAL = {Inf.~Comput.}, VOLUME = {108}, NUMBER = {2}, PAGES = {212-261}, YEAR = {1994, February}, PUBLISHER = {Academic Press}, ADDRESS = {New York-San Francisco-London-San Diego}, } @article{Bruschi-Pighizzini-Sabadini/94, AUTHOR = {Bruschi, Danilo and Pighizzini, Giovanni and Sabadini, Nicoletta}, TITLE = {On the existence of minimum asynchronous automata and on the equivalence problem for unambiguous regular trace languages}, JOURNAL = {Inf.~Comput.}, VOLUME = {108}, NUMBER = {2}, PAGES = {262-285}, YEAR = {1994, February}, PUBLISHER = {Academic Press}, ADDRESS = {New York-San Francisco-London-San Diego}, }