Theoretical Computer Science, Volume 296

Volume 296, Number 1, March 2003

• Jie Wang: Preface. 1-2
• Oswin Aichholzer, Franz Aurenhammer, Ferran Hurtado, Hannes Krasser:
  Towards compatible triangulations. 3-13
  
• Jin-yi Cai, Eric Bach:
  On testing for zero polynomials by a set of points with bounded precision. 15-25
  
• Wun-Tat Chan, Tak Wah Lam, Hing-Fung Ting, Prudence W. H. Wong:
  On-line stream merging in a general setting. 27-46
  
• Otfried Cheong, Chan-Su Shin, Antoine Vigneron:
  Computing farthest neighbors on a convex polytope. 47-58
  
• Zhe Dang, Oscar H. Ibarra, Richard A. Kemmerer:
  Generalized discrete timed automata: decidable approximations for safety verificatio. 59-74
  
• Rob Duncan, Jianbo Qian, Antoine Vigneron, Binhai Zhu:
  Polynomial time algorithms for three-label point labeling. 75-87
  
• Liying Kang, Hong Qiao, Erfang Shan, Ding-Zhu Du:
  Lower bounds on the minus domination and k-subdomination numbers. 89-98
  
• Wen-Lian Hsu, Ross M. McConnell:
  PC trees and circular-ones arrangements. 99-116
  
• Michal Koucký:
  Log-space constructible universal traversal sequences for cycles of length O(n^4.03). 117-144
  
• Xiang-Yang Li:
  Generating well-shaped d-dimensional Delaunay Meshes. 145-165
  
• Enrico Nardelli, Guido Proietti, Peter Widmayer:
  Finding the most vital node of a shortest path. 167-177
  
• Bodo Manthey:
  Non-approximability of weighted multiple sequence alignment. 179-192
  

Volume 296, Number 2, 8 March 2003

• Didier Caucal:
  On the transition graphs of turing machines. 195-223
  
• Henning Fernau:
  Nonterminal complexity of programmed grammars. 225-251
  
• Daniela Besozzi, Giancarlo Mauri, Gheorghe Paun, Claudio Zandron:
  Gemmating P systems: collapsing hierarchies. 253-267
  
• Pierluigi Frisco:
  Direct constructions of universal extended H systems. 269-293
  
• Carlos Martín-Vide, Gheorghe Paun, Juan Pazos, Alfonso Rodríguez-Patón:
  Tissue P systems. 295-326
  
• Francine Herrmann, Maurice Margenstern:
  A universal cellular automaton in the hyperbolic plane. 327-364
  
• Klaus Sutner:
  Cellular automata and intermediate degrees. 365-375
  

Volume 296, Number 3, 14 March 2003

• Leonid Libkin:
  Expressive power of SQL. 379-404
  
• Marcelo Arenas, Leopoldo E. Bertossi, Jan Chomicki, Xin He, Vijay Raghavan, Jeremy Spinrad:
  Scalar aggregation in inconsistent databases. 405-434
  
• Jeff Edmonds, Jarek Gryz, Dongming Liang, Renée J. Miller:
  Mining for empty spaces in large data sets. 435-452
  
• Gösta Grahne, Alex Thomo:
  Algebraic rewritings for optimizing regular path queries. 453-471
  
• William Hesse:
  The dynamic complexity of transitive closure is in DynTC⁰. 473-485
  
• Chung Keung Poon:
  Dynamic orthogonal range queries in OLAP. 487-510
  
• Rakesh K. Sinha, Randeep Bhatia, Chung-Min Chen:
  Asymptotically optimal declustering schemes for 2-dim range queries. 511-534