1. Foreword

   Foreword Pages: 237 - 237

2. Formal Proofs About Rewriting Using ACL2

   • José-Luis Ruiz-Reina
   • José-Antonio Alonso
   • Francisco-Jesús Martín-Mateos

   OriginalPaper Pages: 239 - 262

3. Composite Distributive Lattices as Annotation Domains for Mediators

   • Jacques Calmet
   • Peter Kullmann
   • Morio Taneda

   OriginalPaper Pages: 263 - 277

4. Modeling Connectionist Network Structures: Some Geometric and Categorical Aspects

   • Jochen Pfalzgraf

   OriginalPaper Pages: 279 - 301

5. Reasoning about the Elementary Functions of Complex Analysis

   • Russell Bradford
   • Robert M. Corless
   • Stephen M. Watt

   OriginalPaper Pages: 303 - 318

6. Annals of Mathematics and Artificial Intelligence

   Volume Contents Pages: 319 - 322