• hackageDB

agum-1.0: Unification and Matching in an Abelian Group

The agum package

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.

Properties

Modules

Downloads

• agum-1.0.tar.gz (Cabal source package)
• package description (included in the package)

Produced by hackageDB and Cabal 1.14.0