scientific article; zbMATH DE number 4049126

MaRDI QIDQ3786015zbMATH OpenFDO

Authors Jalel Mzali

Publication date 1986

zbMATH Keywords

decompositionmatchingmutationdistributivityequational theorymerging

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Equational logic, Mal'tsev conditions (08B05)

Recommendations

• An algorithm for distributive unification
• A decision algorithm for distributive unification
• scientific article; zbMATH DE number 3921959
• Unification problems with one-sided distributivity
• Matching with multiplication and exponentiation (extended abstract)

Cited in

(3)

• Matching - a special case of unification?
• Matching with multiplication and exponentiation (extended abstract)
• Flat matching

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 Q3786015)