Unification in Commutative Semigroups
β
Andrzej Kisielewicz
π
Article
π
1998
π
Elsevier Science
π
English
β 161 KB
Unification is one of the basic concepts of automated theorem proving. It concerns such questions as finding solutions of finite sets of equations, determining if every solution comes from a most general solution, and if so, determining how many most general solutions are needed to generate all solu