Theoretical Computer Science, Volume 285

Volume 285, Number 1, August 2002

• Gian Carlo Bongiovanni, Giorgio Gambosi, Rossella Petreschi:
  Foreword. 1
  
• Hans-Joachim Böckenhauer, Juraj Hromkovic, Ralf Klasing, Sebastian Seibert, Walter Unger:
  Towards the notion of stability of approximation for hard optimization tasks and the traveling salesman problem. 3-24
  
• Domenico Cantone, Gianluca Cincotti:
  QuickHeapsort, an efficient mix of classical sorting algorithms. 25-42
  
• Peter Damaschke:
  Online strategies for backups. 43-53
  
• Irit Dinur:
  Approximating SVP_infinity to within almost-polynomial factors is NP-hard. 55-71
  
• Donatella Merlini, Renzo Sprugnoli, M. Cecilia Verri:
  Modified binary searching for static tables. 73-88
  
• Sebastian Seibert, Walter Unger:
  The hardness of placing street names in a Manhattan type map. 89-99
  
• Kathleen Steinhöfel, Andreas Alexander Albrecht, C. K. Wong:
  The convergence of stochastic algorithms solving flow shop scheduling. 101-117
  

Volume 285, Number 2, August 2002

• Narciso Martí-Oliet, José Meseguer:
  Preface. 119-120
  
• Narciso Martí-Oliet, José Meseguer:
  Rewriting logic: roadmap and bibliography. 121-154
  
• Peter Borovanský, Claude Kirchner, Hélène Kirchner, Pierre-Etienne Moreau:
  ELAN from a rewriting logic point of view. 155-185
  
• Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Jose F. Quesada:
  Maude: specification and programming in rewriting logic. 187-243
  
• Manuel Clavel, José Meseguer:
  Reflection in conditional rewriting logic. 245-288
  
• Razvan Diaconescu, Kokichi Futatsugi:
  Logical foundations of CafeOBJ. 289-318
  
• Fabio Gadducci, Ugo Montanari:
  Comparing logics for rewriting: rewriting logic, action calculi and tile logic. 319-358
  
• Peter Csaba Ölveczky, José Meseguer:
  Specification of real-time and hybrid systems in rewriting logic. 359-405
  
• Isabel Pita, Narciso Martí-Oliet:
  A Maude specification of an object-oriented model for telecommunication networks. 407-439
  
• Carolyn L. Talcott:
  Actor theories in rewriting logic. 441-485
  
• Patrick Viry:
  Equational rules for rewriting logic. 487-517
  
• Martin Wirsing, Alexander Knapp:
  A formal approach to object-oriented software engineering. 519-560