Theoretical Computer Science, Volume 239

Volume 239, Number 1, 17 May 2000

• Manfred Broy:
  Algebraic specification of reactive systems. 3-40
  
• Bart Jacobs:
  Object-oriented hybrid systems of coalgebras plus monoid actions. 41-95
  
• Irek Ulidowski:
  Finite axiom systems for testing preorder and De Simone process languages. 97-139
  
• M. R. K. Krishna Rao:
  Some characteristics of strong innermost normalization. 141-164
  
• E. Pascal Gribomont:
  Simplification of boolean verification conditions. 165-185
  

Volume 239, Number 2, 28 May 2000

• Foto N. Afrati, Phokion G. Kolaitis:
  Foreword: Selected Papers from ICDT 1997. 187
  
• Jeffrey D. Ullman:
  Information integration using logical views. 189-210
  
• Chandra Chekuri, Anand Rajaraman:
  Conjunctive query containment revisited. 211-229
  
• Serge Abiteboul, Victor Vianu:
  Queries and computation on the web. 231-255
  
• Jörg Flum, Max Kubierschky, Bertram Ludäscher:
  Games and total Datalog¬ queries. 257-276
  
• Guozhu Dong, Leonid Libkin, Limsoon Wong:
  Local properties of query languages. 277-308
  
• Ronald Fagin, Edward L. Wimmers:
  A formula for incorporating weights into scoring rules. 309-338