Annals of Mathematics and Artificial Intelligence

Foreword

Formal Proofs About Rewriting Using ACL2

José-Luis Ruiz-Reina, José-Antonio Alonso, María-José Hidalgo, Francisco-Jesús Martín-Mateos

Composite Distributive Lattices as Annotation Domains for Mediators

Jacques Calmet, Peter Kullmann, Morio Taneda

Modeling Connectionist Network Structures: Some Geometric and Categorical Aspects

Jochen Pfalzgraf

Reasoning about the Elementary Functions of Complex Analysis

Russell Bradford, Robert M. Corless, James H. Davenport, David J. Jeffrey, Stephen M. Watt

Annals of Mathematics and Artificial Intelligence