Formal Proofs About Rewriting Using ACL2 José-Luis Ruiz-ReinaJosé-Antonio AlonsoFrancisco-Jesús Martín-Mateos OriginalPaper Pages: 239 - 262
Composite Distributive Lattices as Annotation Domains for Mediators Jacques CalmetPeter KullmannMorio Taneda OriginalPaper Pages: 263 - 277
Modeling Connectionist Network Structures: Some Geometric and Categorical Aspects Jochen Pfalzgraf OriginalPaper Pages: 279 - 301
Reasoning about the Elementary Functions of Complex Analysis Russell BradfordRobert M. CorlessStephen M. Watt OriginalPaper Pages: 303 - 318