Theoretical Computer Science, Volume 190

Volume 190, Number 1, 10 January 1998

• Maribel Fernández, Ian Mackie:
  Interaction Nets and Term-Rewriting Systems. 3-39
  
• Roope Kaivola:
  Axiomatising Extended Computation Tree Logic. 41-60
  
• Björn Lisper:
  Computing in Unpredictable Environments: Semantics, Reduction Strategies, and Program Transformations. 61-85
  
• Allan Cheng, Mogens Nielsen:
  Open Maps, Behavioural Equivalences, and Congruences. 87-112
  

Volume 190, Number 2, 20 January 1998

• Nicole Bidoit, Sandra de Amo:
  A First Step Towards Implementing Dynamic Algebraic Dependences. 115-149
  
• János Demetrovics, Gyula O. H. Katona, Dezsö Miklós, Oleg Seleznjev, Bernhard Thalheim:
  Asymptotic Properties of Keys and Functional Dependencies in Random Databases. 151-166
  
• Leonid Libkin:
  Models of Approximation in Databases. 167-210
  
• Sérgio Lifschitz, Victor Vianu:
  A Probabilistic View of Datalog Parallelization. 211-239
  
• V. Wiktor Marek, Miroslaw Truszczynski:
  Revision Programming. 241-277
  
• Dan Suciu:
  Domain-Independent Queries on Databases with External Functions. 279-315
  
• Jerzy Tyszkiewicz:
  The Kolmogorov Expressive Power of Boolean Query Languages. 317-361
  
• Radek Vingralek, Haiyan Hasse-Ye, Yuri Breitbart, Hans-Jörg Schek:
  Unifying Concurrency Control and Recovery of Transactions with Semantically Rich Operations. 363-396