@article{Apolloni-Gentile/00, AUTHOR = {Apolloni, B. and Gentile, C.}, TITLE = {$P$-sufficient statistics for PAC learning $k$-term-DNF formulas through enumeration}, JOURNAL = {Theor.~Comput.~Sci.}, VOLUME = {230}, NUMBER = {1-2}, PAGES = {1-37}, YEAR = {2000}, PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)}, ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo}, } @article{de_la_Higuera-Casacuberta/00, AUTHOR = {de la Higuera, C. and Casacuberta, F.}, TITLE = {Topology of strings: Median string is $NP$-complete}, JOURNAL = {Theor.~Comput.~Sci.}, VOLUME = {230}, NUMBER = {1-2}, PAGES = {39-48}, YEAR = {2000}, PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)}, ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo}, } @article{Sutner/00, AUTHOR = {Sutner, Klaus}, TITLE = {$\sigma$-automata and Chebyshev-polynomials}, JOURNAL = {Theor.~Comput.~Sci.}, VOLUME = {230}, NUMBER = {1-2}, PAGES = {49-73}, YEAR = {2000}, PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)}, ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo}, } @article{Chen/00e, AUTHOR = {Chen, Zhi-Zhong}, TITLE = {Efficient algorithms for acyclic colorings of graphs}, JOURNAL = {Theor.~Comput.~Sci.}, VOLUME = {230}, NUMBER = {1-2}, PAGES = {75-95}, YEAR = {2000}, PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)}, ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo}, } @article{Chekhova/00, AUTHOR = {Chekhova, Nataliya}, TITLE = {Covering numbers of rotations}, JOURNAL = {Theor.~Comput.~Sci.}, VOLUME = {230}, NUMBER = {1-2}, PAGES = {97-116}, YEAR = {2000}, PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)}, ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo}, } @article{Baldwin-Shelah/00, AUTHOR = {Baldwin, John T. and Shelah, Saharon}, TITLE = {On the classifiability of cellular automata}, JOURNAL = {Theor.~Comput.~Sci.}, VOLUME = {230}, NUMBER = {1-2}, PAGES = {117-129}, YEAR = {2000}, PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)}, ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo}, } @article{Uehara-Tsuchida-Wegener/00, AUTHOR = {Uehara, Ryuhei and Tsuchida, Kensei and Wegener, Ingo}, TITLE = {Identification of partial disjunction, parity, and threshold functions}, JOURNAL = {Theor.~Comput.~Sci.}, VOLUME = {230}, NUMBER = {1-2}, PAGES = {131-147}, YEAR = {2000}, PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)}, ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo}, } @article{Gerla/00, AUTHOR = {Gerla, Brunella}, TITLE = {Conditioning a state by a {\L}ukasiewicz event: A probabilistic approach to Ulam games}, JOURNAL = {Theor.~Comput.~Sci.}, VOLUME = {230}, NUMBER = {1-2}, PAGES = {149-166}, YEAR = {2000}, PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)}, ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo}, } @article{Cicalese-Vaccaro/00b, AUTHOR = {Cicalese, Ferdinando and Vaccaro, Ugo}, TITLE = {Optimal strategies against a liar}, JOURNAL = {Theor.~Comput.~Sci.}, VOLUME = {230}, NUMBER = {1-2}, PAGES = {167-193}, YEAR = {2000}, PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)}, ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo}, } @article{Breuker-Uiterwijk-Herik/00, AUTHOR = {Breuker, D.M. and Uiterwijk, J.W.H.M. and Herik, H.J. van den}, TITLE = {Solving $8 \times 8$ domineering}, JOURNAL = {Theor.~Comput.~Sci.}, VOLUME = {230}, NUMBER = {1-2}, PAGES = {195-206}, YEAR = {2000}, PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)}, ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo}, } @article{Ettinger/00, AUTHOR = {Ettinger, J. Mark}, TITLE = {A metric for positional games}, JOURNAL = {Theor.~Comput.~Sci.}, VOLUME = {230}, NUMBER = {1-2}, PAGES = {207-219}, YEAR = {2000}, PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)}, ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo}, } @article{Malgouyres/00, AUTHOR = {Malgouyres, R{\'{e}}my}, TITLE = {Homotopy in two-dimensional digital images}, JOURNAL = {Theor.~Comput.~Sci.}, VOLUME = {230}, NUMBER = {1-2}, PAGES = {221-233}, YEAR = {2000}, PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)}, ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo}, } @article{Crvenkovic-Dolinka-Esik/00, AUTHOR = {Crvenkovi{\'c}, S. and Dolinka, I. and {\'{E}}sik, Z.}, TITLE = {The variety of Kleene algebras with conversion is not finitely based}, JOURNAL = {Theor.~Comput.~Sci.}, VOLUME = {230}, NUMBER = {1-2}, PAGES = {235-245}, YEAR = {2000}, PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)}, ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo}, } @article{Asveld-Nijholt/00, AUTHOR = {Asveld, Peter R.J. and Nijholt, Anton}, TITLE = {The inclusion problem for some subclasses of context-free languages}, JOURNAL = {Theor.~Comput.~Sci.}, VOLUME = {230}, NUMBER = {1-2}, PAGES = {247-256}, YEAR = {2000}, PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)}, ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo}, } @article{Palamidessi-Parrow/00, AUTHOR = {Palamidessi, Catuscia and Parrow, Joachim}, TITLE = {Contents and abstracts of the electronic notes in Theoretical Computer Science Vol. 7}, JOURNAL = {Theor.~Comput.~Sci.}, VOLUME = {230}, NUMBER = {1-2}, PAGES = {257-264}, YEAR = {2000}, PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)}, ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo}, } @article{Bonsangue/00, AUTHOR = {Bonsangue, Marcello}, TITLE = {Contents and abstracts of the electronic notes in Theoretical Computer Science Vol. 8}, JOURNAL = {Theor.~Comput.~Sci.}, VOLUME = {230}, NUMBER = {1-2}, PAGES = {265-268}, YEAR = {2000}, PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)}, ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo}, } @article{Moller/00, AUTHOR = {Moller, Faron}, TITLE = {Contents and abstracts of the electronic notes in Theoretical Computer Science Vol. 9}, JOURNAL = {Theor.~Comput.~Sci.}, VOLUME = {230}, NUMBER = {1-2}, PAGES = {269-273}, YEAR = {2000}, PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)}, ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo}, } @article{Gordon-Pitts-Talcott/00, AUTHOR = {Gordon, Andrew and Pitts, Andrew and Talcott, Carolyn}, TITLE = {Contents and abstracts of the electronic notes in Theoretical Computer Science Vol. 10}, JOURNAL = {Theor.~Comput.~Sci.}, VOLUME = {230}, NUMBER = {1-2}, PAGES = {275-284}, YEAR = {2000}, PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)}, ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo}, } @article{Jacobs-Moss-Reichel-Rutten/00, AUTHOR = {Jacobs, Bart and Moss, Larry and Reichel, Horst and Rutten, Jan}, TITLE = {Contents and abstracts of the electronic notes in Theoretical Computer Science Vol. 11}, JOURNAL = {Theor.~Comput.~Sci.}, VOLUME = {230}, NUMBER = {1-2}, PAGES = {285-290}, YEAR = {2000}, PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)}, ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo}, }