Date: 2012-02-14 06:55:32Algebra Mathematics Abstract algebra Algebraic structures Semigroup theory Automated theorem proving Logic programming Category theory Unification Monoid Semigroup Substitution | | Hints in unification Andrea Asperti, Wilmer Ricciotti, Claudio Sacerdoti Coen, and Enrico Tassi Department of Computer Science, University of Bologna Mura Anteo Zamboni, 7 — 40127 Bologna, ITALY {asperti,ricciott,sacerAdd to Reading ListSource URL: matita.cs.unibo.itDownload Document from Source Website File Size: 234,17 KBShare Document on Facebook
|