Theoretical Computer Science, Volume 160

Volume 160, Numbers 1&2, 10 June 1996

• Roger D. Maddux:
  Relation-Algebraic Semantics. 1-85
  
• Bruno Courcelle:
  The Monadic Second-Order Logic of Graphs X: Linear Orderings. 87-143
  
• Enrico Tronci:
  Equational Programming in Lambda-Calculus via SL-Systems. Part 1. 145-184
  
• Enrico Tronci:
  Equational Programming in Lambda-Calculus via SL-Systems. Part 2. 185-216
  
• Chris Tuijn, Marc Gyssens:
  CGOOD, a Categorical Graph-Oriented Object Data Model. 217-239
  
• Matthias Baaz, Alexander Leitsch, Richard Zach:
  Completeness of a First-Order Temporal Logic with Time-Gaps. 241-270
  
• Michael Kaminski, Chung Kei Wong:
  The Power of the "Always" Operator in First-Order Temporal Logic. 271-281
  
• Susumu Yamasaki:
  SLDNF Resolution with Non-Safe Rule and Fixpoint Semantics for General Logic Programs. 283-303
  
• Arnaud Durand, Solomampionona Ranaivoson:
  First-Order Spectra with one Binary Predicate. 305-320
  
• Piero A. Bonatti, Thomas Eiter:
  Querying Disjunctive Databases Through Nonmonotonic Logics. 321-363
  
• Kim Marriott, Martin Odersky:
  Negative Boolean Constraints. 365-380