scientific article; zbMATH DE number 4049126

zbMATH Open0643.68133MaRDI QIDQ3786015FDOQ3786015

Authors: Jalel Mzali 

Publication date: 1986

Title of this publication is not available (Why is that?)

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)

zbMATH Keywords

decompositionmatchingmutationdistributivityequational theorymerging

Mathematics Subject Classification ID

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

Cited In (3)

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

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)