Back to Results
First PageMeta Content
Algebra / 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,sacer
Add to Reading List

Document Date: 2012-02-14 06:55:32


Open Document

File Size: 234,17 KB

Share Result on Facebook