agum
Version 2.8 revision 0 uploaded by JohnRamsdell.
Package meta
- Synopsis
- Unification and Matching in an Abelian Group
- 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 an Abelian group. The matching problem is to find a most general substitution s such that s(t) = t' modulo the axioms. 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