Education Maude .:° ASCENS 2011

1.Alberto Lluch ASCENS General Meeting Pisa, March 2-4, 2011 maude [email_address] 2. what is maude? [email_address] “ A high-level,declarative l anguage that supports…

Documents advalg.pdf

ADVANCED ALGEBRA Prof. Dr. B. Pareigis Winter Semester 2001/02 Table of Contents 1. Tensor Products and Free Modules 3 1.1. Modules 3 1.2. Tensor products I 5 1.3. Free modules…