@article{Monti-Peron/00,
AUTHOR = {Monti, Angelo and Peron, Adriano},
TITLE = {Systolic tree $\omega$-languages: The operational and the logical view},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {233},
NUMBER = {1-2},
PAGES = {1-18},
YEAR = {2000},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Hashiguchi/00,
AUTHOR = {Hashiguchi, Kosaburo},
TITLE = {New upper bounds to the limitedness of distance automata},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {233},
NUMBER = {1-2},
PAGES = {19-32},
YEAR = {2000},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Akutsu-Halldorsson/00,
AUTHOR = {Akutsu, Tatsuya and Halld{\'{o}}rsson, Magn{\'{u}}s M.},
TITLE = {On the approximation of largest common subtrees and largest common point sets},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {233},
NUMBER = {1-2},
PAGES = {33-50},
YEAR = {2000},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Robilliard-Simplot/00,
AUTHOR = {Robilliard, D. and Simplot, D.},
TITLE = {Undicidability of existential properties in picture languages},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {233},
NUMBER = {1-2},
PAGES = {51-74},
YEAR = {2000},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Caron-Ziadi/00,
AUTHOR = {Caron, Pascal and Ziadi, Djelloul},
TITLE = {Characterization of Glushkov automata},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {233},
NUMBER = {1-2},
PAGES = {75-90},
YEAR = {2000},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Gardner-Gritzmann-Prangenberg/00,
AUTHOR = {Gardner, R.J. and Gritzmann, P. and Prangenberg, D.},
TITLE = {On the computational complexity of determining polyatomic structures by X-rays},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {233},
NUMBER = {1-2},
PAGES = {91-106},
YEAR = {2000},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Cattell-Dinneen-Downey-Fellows-Langston/00,
AUTHOR = {Cattell, Kevin and Dinneen, Michael J. and Downey, Rodney G. and Fellows, Michael R. and Langston, Michael A.},
TITLE = {On computing graph minor obstruction sets},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {233},
NUMBER = {1-2},
PAGES = {107-127},
YEAR = {2000},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Kawahara-Mori/00,
AUTHOR = {Kawahara, Yasuo and Mori, Masao},
TITLE = {A small final coalgebra theorem},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {233},
NUMBER = {1-2},
PAGES = {129-145},
YEAR = {2000},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Cattaneo-Formenti-Manzini-Margara/00,
AUTHOR = {Cattaneo, Gianpiero and Formenti, Enrico and Manzini, Giovanni and Margara, Luciano},
TITLE = {Ergodicity, transitivity, and regularity for linear cellular automata over $Z_m$},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {233},
NUMBER = {1-2},
PAGES = {147-164},
YEAR = {2000},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Bermond-Gargano-Perennes-Rescigno-Vaccaro/00,
AUTHOR = {Bermond, Jean-Claude and Gargano, Luisa and Perennes, Stephan and Rescigno, Adele A. and Vaccaro, Ugo},
TITLE = {Efficient collective communication in optical networks},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {233},
NUMBER = {1-2},
PAGES = {165-189},
YEAR = {2000},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Evfimievski/00,
AUTHOR = {Evfimievski, Alexandre V.},
TITLE = {A probabilistic algorithm for updating files over a communication link},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {233},
NUMBER = {1-2},
PAGES = {191-199},
YEAR = {2000},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Del_Lungo-Ristoro-Penaud/00,
AUTHOR = {Del Lungo, Alberto and Ristoro, Francesco Del and Penaud, Jean-Guy},
TITLE = {Left ternary trees and non-separable rooted planar maps},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {233},
NUMBER = {1-2},
PAGES = {201-215},
YEAR = {2000},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Germain-Pallo/00,
AUTHOR = {Germain, Christian and Pallo, Jean},
TITLE = {Langages rationnels d{\'e}finis avec une concat{\'e}nation non-associative},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {233},
NUMBER = {1-2},
PAGES = {217-231},
YEAR = {2000},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Rabinovich/00a,
AUTHOR = {Rabinovich, Alexander},
TITLE = {Star free expressions over the reals},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {233},
NUMBER = {1-2},
PAGES = {233-245},
YEAR = {2000},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Aumann-Bar-Ilan-Feige/00,
AUTHOR = {Aumann, Yonatan and Bar-Ilan, Judit and Feige, Uriel},
TITLE = {On the cost of recomputing: Tight bounds on pebbling with faults},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {233},
NUMBER = {1-2},
PAGES = {247-261},
YEAR = {2000},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Propp/00,
AUTHOR = {Propp, James},
TITLE = {Three-player impartial games},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {233},
NUMBER = {1-2},
PAGES = {263-278},
YEAR = {2000},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Nishida-Salomaa/00,
AUTHOR = {Nishida, T.Y. and Salomaa, A.},
TITLE = {On slender 0L languages},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {233},
NUMBER = {1-2},
PAGES = {279-286},
YEAR = {2000},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Goles-Prisner/00,
AUTHOR = {Goles, Eric and Prisner, Erich},
TITLE = {Source reversal and chip firing on graphs},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {233},
NUMBER = {1-2},
PAGES = {287-295},
YEAR = {2000},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Feder-Megiddo-Plotkin/00,
AUTHOR = {Feder, Tom{\'a}s and Megiddo, Nimrod and Plotkin, Serge A.},
TITLE = {A sublinear parallel algorithm for stable matching},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {233},
NUMBER = {1-2},
PAGES = {297-308},
YEAR = {2000},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Karpinski-Poorten-Shparlinski/00,
AUTHOR = {Karpinski, Marek and Poorten, Alf van der and Shparlinski, Igor},
TITLE = {Zero testing of $p$-adic and modular polynomials},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {233},
NUMBER = {1-2},
PAGES = {309-317},
YEAR = {2000},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Kalyanasundaram-Pruhs/00d,
AUTHOR = {Kalyanasundaram, Bala and Pruhs, Kirk R.},
TITLE = {An optimal deterministic algorithm for online $b$-matching},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {233},
NUMBER = {1-2},
PAGES = {319-325},
YEAR = {2000},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}