scientific article; zbMATH DE number 1346499

MaRDI QIDQ4266522zbMATH OpenFDO

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

Publication date 4 October 1999

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Equational classes, universal algebra in model theory (03C05) Learning and adaptive systems in artificial intelligence (68T05)

Recommendations

• scientific article; zbMATH DE number 176149
• 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

(7)

• Tree automata help one to solve equational formulae in AC-theories
• scientific article; zbMATH DE number 4164133 (Why is no real title available?)
• scientific article; zbMATH DE number 176149 (Why is no real title available?)
• scientific article; zbMATH DE number 176756 (Why is no real title available?)
• scientific article; zbMATH DE number 512857 (Why is no real title available?)
• AC complement problems: Satisfiability and negation elimination
• Complete axiomatizations of some quotient term algebras

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