scientific article; zbMATH DE number 3885353

MaRDI QIDQ3219154zbMATH OpenFDO

Authors

Publication date 1984

zbMATH Keywords

Abelian group unification algorithmselementary termsinteger solutions of linear equations

Mathematics Subject Classification ID

Recommendations

• Unification in abelian semigroups
• Semi-unification of two terms in Abelian groups
• Unification in commutative theories
• Unification in monoidal theories
• An algebraic approach to unification under associativity and commutativity

Cited in

(16)

• Associative-commutative unification
• Unification in combinations of collapse-free regular theories
• Unification problem in equational theories
• Semi-unification of two terms in Abelian groups
• Unification in commutative semigroups
• Complete sets of unifiers and matchers in equational theories
• Intersection of term equality sets in finitely defined algebras
• Identity problems, solvability of equations and unification in varieties of semigroups related to varieties of groups
• Efficient general AGH-unification
• Unification properties of commutative theories: a categorical treatment
• Efficient general unification for XOR with homomorphism
• Unification in commutative theories
• Unification in Boolean rings and Abelian groups
• Unification in a combination of arbitrary disjoint equational theories
• Unification in a combination of equational theories: an efficient algorithm
• Unification in monoidal theories

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3219154)