Theoretical Computer Science, Volume 237

Volume 237, Numbers 1-2, 28 April 2000

• Bruno Courcelle:
  The monadic second-order logic of graphs XII: planar graphs and planar maps. 1-32
  Electronic Edition (link) BibTeX
• Yongge Wang:
  Resource bounded randomness and computational complexity. 33-55
  Electronic Edition (link) BibTeX
• Francesco M. Malvestuto, Marina Moscarini:
  Decomposition of a hypergraph by partial-edge separators. 57-79
  Electronic Edition (link) BibTeX
• Jean-Camille Birget:
  Reductions and functors from problems to word problems. 81-104
  Electronic Edition (link) BibTeX
• Petra Schuurman, Gerhard J. Woeginger:
  A polynomial time approximation scheme for the two-stage multiprocessor flow shop problem. 105-122
  Electronic Edition (link) BibTeX
• Paola Alimonti, Viggo Kann:
  Some APX-completeness results for cubic graphs. 123-134
  Electronic Edition (link) BibTeX
• Niculae Mandache:
  On the computational power of context-free PC grammar systems. 135-148
  Electronic Edition (link) BibTeX
• Andries P. J. van der Walt, Sigrid Ewert:
  A shrinking lemma for random forbidding context languages. 149-158
  Electronic Edition (link) BibTeX
• Viliam Geffert, Jyrki Katajainen, Tomi Pasanen:
  Asymptotically efficient in-place merging. 159-181
  Electronic Edition (link) BibTeX
• Changwook Kim, Ivan Hal Sudborough:
  Leftmove-bounded picture languages. 183-195
  Electronic Edition (link) BibTeX
• Rimli Sengupta, H. Venkateswaran:
  Non-cancellative Boolean circuits: A generalization of monotone boolean circuits. 197-212
  Electronic Edition (link) BibTeX
• Siu-Wing Cheng:
  The Steiner tree problem for terminals on the boundary of a rectilinear polygon. 213-238
  Electronic Edition (link) BibTeX
• Jean Senellart:
  Fast pattern matching in indexed texts. 239-262
  Electronic Edition (link) BibTeX
• Alberto Apostolico, Valentin E. Brimkov:
  Fibonacci arrays and their two-dimensional repetitions. 263-273
  Electronic Edition (link) BibTeX
• Cristopher Moore, James P. Crutchfield:
  Quantum automata and quantum grammars. 275-306
  Electronic Edition (link) BibTeX
• Petr Kurka, Alejandro Maass:
  Realtime subshifts. 307-325
  Electronic Edition (link) BibTeX
• Chung Keung Poon:
  A space lower bound for st-connectivity on node-named JAGs. 327-345
  Electronic Edition (link) BibTeX
• Kamal Lodaya, Pascal Weil:
  Series-parallel languages and the bounded-width property. 347-380
  Electronic Edition (link) BibTeX
• Hiroaki Tohyama, Akeo Adachi:
  Complexity of path discovery game problems. 381-406
  Electronic Edition (link) BibTeX
• U. K. Sarkar:
  On the design of a constructive algorithm to solve the multi-peg towers of Hanoi problem. 407-421
  Electronic Edition (link) BibTeX
• Alexander Meduna:
  Terminating left-hand sides of scattered context productions M. Nivat. 423-427
  Electronic Edition (link) BibTeX
• Janos Simon, Shi-Chun Tsai:
  On the bottleneck counting argument. 429-437
  Electronic Edition (link) BibTeX
• James A. Anderson:
  The intersection of retracts of A*. 439-445
  Electronic Edition (link) BibTeX
• Bruce E. Litow:
  On Hadamard square roots of unity. 447-454
  Electronic Edition (link) BibTeX
• Gonzalo Navarro:
  Improved approximate pattern matching on hypertext. 455-463
  Electronic Edition (link) BibTeX
• Viliam Geffert:
  A variant of inductive counting. 465-475
  Electronic Edition (link) BibTeX
• Satyanarayana V. Lokam:
  On the rigidity of Vandermonde matrices. 477-483
  Electronic Edition (link) BibTeX
• Kazuo Iwama, Yahiko Kambayashi, Kazuya Takaki:
  Tight bounds on the number of states of DFAs that are equivalent to n-state NFAs. 485-494
  Electronic Edition (link) BibTeX