Theoretical Computer Science, Volume 184

Volume 184, Numbers 1-2, 30 September 1997

• Antonio Brogi, Evelina Lamma, Paolo Mancarella, Paola Mello:
  A Unifying View for Logic Programming with Non-Monotonic Reasoning. 1-5
  
• Kim Ritter Wagner:
  Liminf Convergence in Omega-Categories. 61-104
  
• James Andrews:
  A Logical Semantics for Depth-First Prolog with Ground Negation. 105-143
  
• Peter Burmeister, Francesc Rosselló, Joan Torrens, Gabriel Valiente:
  Algebraic Transformation of Unary Partial Algebras I: Double-Pushout Approach. 145-193
  
• Jianwen Su:
  Dynamic Constraints and Object Migration. 195-236
  
• Thierry Lacoste:
  0-1 Laws by Preservation. 237-245