The latest version of cmu is 1.12-0.
cmu
Version 1.8 revision 0 uploaded by JohnRamsdell.
Package meta
- Synopsis
- Unification in a Commutative Monoid
- Description
The unification problem is given the problem statement t =? t', find a most general substitution s such that s(t) = s(t') modulo the axioms of a commutative monoid. Substitition s is more general than s' if there is a substitition s" such that s' = s" o s.
- Author
- n/a
- Bug reports
- n/a
- Category
- Algebra
- Copyright
- n/a
- Homepage
- n/a
- Maintainer
- ramsdell@mitre.org
- Package URL
- n/a
- Stability
- n/a