@article{Puitg-Dufourd/00,
AUTHOR = {Puitg, Fran{\c{c}}ois and Dufourd, Jean-Fran{\c{c}}ois},
TITLE = {Formalizing mathematics in higher-order logic: A case study in geometric modelling},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {234},
NUMBER = {1-2},
PAGES = {1-57},
YEAR = {2000},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Habib-McConnell-Paul-Viennot/00,
AUTHOR = {Habib, Michel and McConnell, Ross and Paul, Christophe and Viennot, Laurent},
TITLE = {Lex-BFS and partition refinement, with applications to transitive orientation, interval graph recognition and consecutive ones testing},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {234},
NUMBER = {1-2},
PAGES = {59-84},
YEAR = {2000},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Kralovic-Ruzicka-Stefankovic/00,
AUTHOR = {Kr{\'{a}}{\v{l}}ovi{\v{c}}, Rastislav and Ru{\v{z}}i{\v{c}}ka, Peter and {\v{S}}tefankovi{\v{c}}, Daniel},
TITLE = {The complexity of shortest path and dilation bounded interval routing},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {234},
NUMBER = {1-2},
PAGES = {85-107},
YEAR = {2000},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Weihrauch-Zheng/00,
AUTHOR = {Weihrauch, Klaus and Zheng, Xizhong},
TITLE = {Computability on continuous, lower semi-continuous and upper semi-continuous real functions},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {234},
NUMBER = {1-2},
PAGES = {109-133},
YEAR = {2000},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Pixton/00,
AUTHOR = {Pixton, Dennis},
TITLE = {Splicing in abstract families of languages},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {234},
NUMBER = {1-2},
PAGES = {135-166},
YEAR = {2000},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Salomaa-Yu/00,
AUTHOR = {Salomaa, Kai and Yu, Sheng},
TITLE = {Alternating finite automata and star-free languages},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {234},
NUMBER = {1-2},
PAGES = {167-176},
YEAR = {2000},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Mohri/00,
AUTHOR = {Mohri, Mehryar},
TITLE = {Minimization algorithms for sequential transducers},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {234},
NUMBER = {1-2},
PAGES = {177-201},
YEAR = {2000},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Achlioptas-Chrobak-Noga/00,
AUTHOR = {Achlioptas, Dimitris and Chrobak, Marek and Noga, John},
TITLE = {Competitive analysis of randomized paging algorithms},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {234},
NUMBER = {1-2},
PAGES = {203-218},
YEAR = {2000},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Wang-Zhu/00,
AUTHOR = {Wang, Cao An and Zhu, Binhai},
TITLE = {Three-dimensional weak visibility: Complexity and applications},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {234},
NUMBER = {1-2},
PAGES = {219-232},
YEAR = {2000},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Francon-Bertrand/00,
AUTHOR = {Fran{\c{c}}on, Jean and Bertrand, Yves},
TITLE = {Topological 3D-manifolds: A statistical study of the cells},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {234},
NUMBER = {1-2},
PAGES = {233-254},
YEAR = {2000},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Arques-Giorgetti/00,
AUTHOR = {Arqu{\`{e}}s, Didier and Giorgetti, Alain},
TITLE = {Counting rooted maps on a surface},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {234},
NUMBER = {1-2},
PAGES = {255-272},
YEAR = {2000},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Pavan-Selman/00a,
AUTHOR = {Pavan, A. and Selman, Alan L.},
TITLE = {Complete distributional problems, hard languages, and resource-bounded measure},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {234},
NUMBER = {1-2},
PAGES = {273-286},
YEAR = {2000},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Esik/00,
AUTHOR = {{\'{E}}sik, Z.},
TITLE = {A proof of the Krohn-Rhodes decomposition theorem},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {234},
NUMBER = {1-2},
PAGES = {287-300},
YEAR = {2000},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Lange-Winterhof/00,
AUTHOR = {Lange, Tanja and Winterhof, Arne},
TITLE = {Factoring polynomials over arbitrary finite fields},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {234},
NUMBER = {1-2},
PAGES = {301-308},
YEAR = {2000},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Boudol/00,
AUTHOR = {Boudol, G{\'{e}}rard},
TITLE = {On the semantics of the call-by-name CPS transform},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {234},
NUMBER = {1-2},
PAGES = {309-321},
YEAR = {2000},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}