scientific article; zbMATH DE number 176149

MaRDI QIDQ4035251zbMATH OpenFDO

Authors Emmanuel Kounalis, Loïc Pottier, D. Lugiez

Publication date 18 May 1993

zbMATH Keywords

AC-disunificationassociative and commutative reasoninginductive learningpattern-matchingsubsumption lattice of first-order termssufficient-completeness

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05)

Recommendations

• scientific article; zbMATH DE number 1346499
• Classifying complements for associative algebras.
• Complements in lattices of varieties and equational theories
• An algebraic approach to unification under associativity and commutativity
• scientific article; zbMATH DE number 3930337
• Adventures in associative-commutative unification
• scientific article; zbMATH DE number 4074540
• The commutator in equivalential algebras and Fregean varieties
• Combination problems for commutative/monoidal theories or how algebra can help in equational unification

Cited in

(8)

• Tree automata help one to solve equational formulae in AC-theories
• Nominal equational problems
• scientific article; zbMATH DE number 176756 (Why is no real title available?)
• scientific article; zbMATH DE number 1346499 (Why is no real title available?)
• scientific article; zbMATH DE number 512857 (Why is no real title available?)
• More problems in rewriting
• Anti-pattern templates
• A nominal approach to equational problems in languages with binders

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