A solution of the complement problem in associative-commutative theories

DOI10.1007/3-540-56730-5_39MaRDI QIDQ4266522zbMATH OpenFDO

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

Publication date 4 October 1999

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-56730-5_39

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

• A solution of the complement problem in associative-commutative theories
• 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?)
• A solution of the complement problem in associative-commutative theories
• Complete axiomatizations of some quotient term algebras
• 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: A solution of the complement problem in associative-commutative theories

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