Theoretical Computer Science, Volume 295

Volume 295, Number 1-3, 24 February 2003

• Andris Ambainis, Arnolds Kikusts:
  Exact results for accepting probabilities of quantum automata. 3-25
  Electronic Edition (link) BibTeX
• Albert Atserias:
  Improved bounds on the Weak Pigeonhole Principle and infinitely many primes from weaker axioms. 27-39
  Electronic Edition (link) BibTeX
• Christopher L. Barrett, Harry B. Hunt III, Madhav V. Marathe, S. S. Ravi, Daniel J. Rosenkrantz, Richard Edwin Stearns:
  Reachability problems for sequential dynamical systems with threshold functions. 41-64
  Electronic Edition (link) BibTeX
• Markus Bläser:
  The complexity of bivariate power series arithmetic. 65-83
  Electronic Edition (link) BibTeX
• Ahmed Bouajjani, Peter Habermehl, Richard Mayr:
  Automatic verification of recursive procedures with one integer parameter. 85-106
  Electronic Edition (link) BibTeX
• Sabin Cautis, Filippo Mignosi, Jeffrey Shallit, Ming-wei Wang, Soroosh Yazdani:
  Periodicity, morphisms, and matrices. 107-121
  Electronic Edition (link) BibTeX
• Giovanni Di Crescenzo:
  Sharing one secret vs. sharing many secrets. 123-140
  Electronic Edition (link) BibTeX
• Pavol Duris, Ján Manuch:
  On the computational complexity of infinite words. 141-151
  Electronic Edition (link) BibTeX
• Hervé Fournier:
  Quantifier rank for parity of embedded finite models. 153-169
  Electronic Edition (link) BibTeX
• Viliam Geffert:
  Space hierarchy theorem revised. 171-187
  Electronic Edition (link) BibTeX
• Viliam Geffert, Carlo Mereghetti, Giovanni Pighizzini:
  Converting two-way nondeterministic unary automata into simpler automata. 189-203
  Electronic Edition (link) BibTeX
• Thanh Minh Hoang, Thomas Thierauf:
  The complexity of the characteristic and the minimal polynomial. 205-222
  Electronic Edition (link) BibTeX
• Jarkko Kari:
  Synchronizing finite automata on Eulerian digraphs. 223-232
  Electronic Edition (link) BibTeX
• Andreas Klein, Martin Kutrib:
  Fast one-way cellular automata. 233-250
  Electronic Edition (link) BibTeX
• Chiu-Yuen Koo, Tak Wah Lam, Tsuen-Wan Ngan, Kunihiko Sadakane, Kar-Keung To:
  On-line scheduling with tight deadlines. 251-261
  Electronic Edition (link) BibTeX
• Daniel Král, Jan Kratochvíl, Heinz-Jürgen Voss:
  Mixed hypergraphs with bounded degree: edge-coloring of mixed multigraphs. 263-278
  Electronic Edition (link) BibTeX
• Sven Oliver Krumke, Willem de Paepe, Diana Poensgen, Leen Stougie:
  News from the online traveling repairman. 279-294
  Electronic Edition (link) BibTeX
• Nir Piterman, Moshe Y. Vardi:
  From bidirectionality to alternation. 295-321
  Electronic Edition (link) BibTeX
• Pavel Pudlák:
  On reducibility and symmetry of disjoint NP pairs. 323-339
  Electronic Edition (link) BibTeX
• Luigi Santocanale:
  On the equational definition of the least prefixed point. 341-370
  Electronic Edition (link) BibTeX
• Klaus Sutner:
  The size of power automata. 371-386
  Electronic Edition (link) BibTeX
• Martin Thimm:
  On the approximability of the Steiner tree problem. 387-402
  Electronic Edition (link) BibTeX