Theoretical Computer Science, Volume 239

Volume 239, Number 1, 17 May 2000

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

Volume 239, Number 2, 28 May 2000

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