@article{Koch/01,
AUTHOR = {Koch, Ina},
TITLE = {Enumerating all connected maximal common subgraphs in two graphs},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {250},
NUMBER = {1-2},
PAGES = {1-30},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Jedrzjowicz-Szepietowski/01,
AUTHOR = {J{\c{e}}drzjowicz, Joanna and Szepietowski, Andrzej},
TITLE = {Schuffle languages are in $P$},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {250},
NUMBER = {1-2},
PAGES = {31-53},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Okawa-Hirose/01,
AUTHOR = {Okawa, Satoshi and Hirose, Sadaki},
TITLE = {Homomorphic characterizations of recursively enumberable languages with very small language classes},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {250},
NUMBER = {1-2},
PAGES = {55-69},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Prieur/01,
AUTHOR = {Prieur, Christophe},
TITLE = {How to decide continuity of rational functions on infinite words},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {250},
NUMBER = {1-2},
PAGES = {71-82},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Caporaso-Zito-Galesi/01,
AUTHOR = {Caporaso, S. and Zito, M. and Galesi, N.},
TITLE = {A predicative and decidable characterization of the polynomial classes of languages},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {250},
NUMBER = {1-2},
PAGES = {83-99},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Merkle/01a,
AUTHOR = {Merkle, Wolfgang},
TITLE = {Structural properties of bounded relations with an application to $NP$ optimization problems},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {250},
NUMBER = {1-2},
PAGES = {101-124},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Blair-Heggernes-Telle/01,
AUTHOR = {Blair, Jean R.S. and Heggernes, Pinar and Telle, Jan Arne},
TITLE = {A practical algorithm for making filled graphs minimal},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {250},
NUMBER = {1-2},
PAGES = {125-141},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Ateniese-Blundo-Santis/01,
AUTHOR = {Ateniese, Giuseppe and Blundo, Carlo and Santis, Alfredo de},
TITLE = {Extended capabilities for visual cryptography},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {250},
NUMBER = {1-2},
PAGES = {143-161},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Mihalache-Salomaa/01,
AUTHOR = {Mihalache, Valeria and Salomaa, Arto},
TITLE = {Language-theoretic aspects of DNA complematarity},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {250},
NUMBER = {1-2},
PAGES = {163-178},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Bar-Ilan-Kortsarz-Peleg/01,
AUTHOR = {Bar-Ilan, Judit and Kortsarz, Guy and Peleg, David},
TITLE = {Generalized submodular cover problems and applications},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {250},
NUMBER = {1-2},
PAGES = {179-200},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Franciosa-Frigioni-Giaccio/01,
AUTHOR = {Franciosa, Paolo Giulio and Frigioni, Daniele and Giaccio, Roberto},
TITLE = {Semi-dynamic breadth-first search in digraphs},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {250},
NUMBER = {1-2},
PAGES = {201-217},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Fulop-Vagvolgyi/01,
AUTHOR = {F{\"u}l{\"o}p, Z. and V{\'{a}}gv{\"o}lgyi, S.},
TITLE = {Restricted ground tree transducers},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {250},
NUMBER = {1-2},
PAGES = {219-233},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Brodal-Pinotti/01,
AUTHOR = {Brodal, Gerth St{\o}lting and Pinotti, M. Cristina},
TITLE = {Comparator networks for binary heap construction},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {250},
NUMBER = {1-2},
PAGES = {235-245},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Kim/01b,
AUTHOR = {Kim, Changwook},
TITLE = {Double Greibach operator grammars},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {250},
NUMBER = {1-2},
PAGES = {247-264},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Labhalla-Lombardi-Moutai/01,
AUTHOR = {Labhalla, S. and Lombardi, H. and Moutai, E.},
TITLE = {Espaces m{\'e}triques rationnellement pr{\'e}sent{\'e}s et complexit{\'e}, le cas de l'espace des fonctions r{\'e}elles uniform{\'e}ment continues sur un intervalle compact},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {250},
NUMBER = {1-2},
PAGES = {265-332},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Knuutila/01,
AUTHOR = {Knuutila, Timo},
TITLE = {Re-describing an algorithm by Hopcroft},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {250},
NUMBER = {1-2},
PAGES = {333-363},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Campbell-Robertson-Ruskuc-Thomas/01,
AUTHOR = {Campbell, Colin M. and Robertson, Edmund F. and Ru{\v{s}}kuc, Nikola and Thomas, Richard M.},
TITLE = {Automatic semigroups},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {250},
NUMBER = {1-2},
PAGES = {365-391},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}